000			00701nam a2200241Ia 4500
008			131223s9999 xx 000 0 und d
040			_aISI KOLKATA
041			_aEnglish
082			_a016.5101 _bM958
110			_aTroelstra A S ;.ed
245			_a(Omega)-Bibliography of mathematical logic _bproof theory : constructive mathematics
260			_aBerlin _bSpringer-Verlag _c1987
300			_a405p.
440			_aPerspectives in mathematical logic; v 6
650			_aBibliography
650			_aConstructive mathematics
650			_aMathematical logic
650			_aProof theory
700			_aDalen Dirk van _4ed.
700			_aKister J E _4ed.
700			_aMuller G H _4ed.
942			_cBK
999			_c6088 _d6088