TY  - BOOK
AU  - Pohlers,Wolfram
TI  - Proof theory: an introduction 
T2  - Lecture notes in mathematics
SN  - 0387518428
PY  - 1989///
CY  - Berlin , New York 
PB  - Springer-Verlag
KW  - Proof theory
N1  - "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)
ER  -