Proof theory: an introduction/
Pohlers, Wolfram
Proof theory: an introduction/ Wolfram Pohlers. - Berlin; New York: Springer-Verlag, c1989. - vi, 213 p.; 25 cm. - 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 (U.S.)
90107392 //r95
Proof theory
Proof theory: an introduction/ Wolfram Pohlers. - Berlin; New York: Springer-Verlag, c1989. - vi, 213 p.; 25 cm. - 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 (U.S.)
90107392 //r95
Proof theory