Proof theory an introduction
Pohlers, Wolfram
Proof theory an introduction Wolfram Pohlers - Berlin New York Springer-Verlag c1989 - vi, 213 p 24 cm - Lecture notes in mathematics 1407 ISSN 0075-8434 . - Lecture notes in mathematics (Springer-Verlag) .
"Somewhat extended lecture notes of an introductory course ... [given] during the winter term 1987-1988 at the University of Munster, FRG"--P. iii Cuprinde bibliografie si index
0387518428 (New York) 3540518428 (Berlin)
90107392
Proof theory
Proof theory an introduction Wolfram Pohlers - Berlin New York Springer-Verlag c1989 - vi, 213 p 24 cm - Lecture notes in mathematics 1407 ISSN 0075-8434 . - Lecture notes in mathematics (Springer-Verlag) .
"Somewhat extended lecture notes of an introductory course ... [given] during the winter term 1987-1988 at the University of Munster, FRG"--P. iii Cuprinde bibliografie si index
0387518428 (New York) 3540518428 (Berlin)
90107392
Proof theory