000 00827 a2200229 4500
010 _a 90107392
020 _a0387518428 (New York)
020 _a3540518428 (Berlin)
035 _aP I 1749
084 _203Fxx (03-01)
090 _c28734
_d28734
100 1 _aPohlers, Wolfram
245 1 0 _aProof theory
_ban introduction
_cWolfram Pohlers
260 _aBerlin
_aNew York
_bSpringer-Verlag
_cc1989
300 _avi, 213 p
_c24 cm
490 1 _aLecture notes in mathematics
_v1407
_xISSN 0075-8434
500 _a"Somewhat extended lecture notes of an introductory course ... [given] during the winter term 1987-1988 at the University of Munster, FRG"--P. iii
500 _aCuprinde bibliografie si index
650 _aProof theory
830 _aLecture notes in mathematics (Springer-Verlag)
942 _aIMAR
_cCART
_sMD
999 _c28438
_d28438