00672nam a2200253Ia 4500 47855 20240114003846.0 ta 090507s1996 g b000 u 465 u HB Cotton Colege,Assam 465 519 Tr 74 Ba Troelstra, A S . Basic Proof Theory / A S Troelstra,H Schwichtenberg. Textual Documents 1st ed / Cambridge : Cambridge University Press , 1996. ix,343 p ; 23 cm. Mathematics Schwichtenberg, H . ddc BK 0 0 0 0 Circulation(T/G) SKBL SKBL 2012-02-01 00000 0 519 Tr 74 Ba 1169/Math 2024-01-14 00:00:00 1 2012-02-01 BK 47820 47820