TY  - GEN
AU  - Pohlers,Wolfram
TI  - Proof theory: an introduction
T2  - Lecture notes in mathematics
SN  - 0387518428 (New York)
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 Munster, FRG"--P. iii; Cuprinde bibliografie si index
ER  -