Pohlers, Wolfram.
Proof theory : an introduction / - Berlin New York Springer-Verlag c1989 - vi, 213 p. - Lecture notes in mathematics 1407 . - Lecture notes in mathematics (Springer-Verlag) ; 1407. .
"Somewhat extended lecture notes of an introductory course ... [given] during the winter term 1987-1988 at the University of Münster, FRG"--P. iii.
Includes bibliographical references (p. 190-207).
0387518428
Proof theory.
51 / LNM
Proof theory : an introduction / - Berlin New York Springer-Verlag c1989 - vi, 213 p. - Lecture notes in mathematics 1407 . - Lecture notes in mathematics (Springer-Verlag) ; 1407. .
"Somewhat extended lecture notes of an introductory course ... [given] during the winter term 1987-1988 at the University of Münster, FRG"--P. iii.
Includes bibliographical references (p. 190-207).
0387518428
Proof theory.
51 / LNM