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 |