TY  - BOOK
AU  - Pohlers,Wolfram
TI  - Proof theory: an introduction 
T2  - Lecture Notes in Mathematics
SN  - 3540518428
PY  - 1989///
CY  - Berlin [etc.]
PB  - Springer-Verlag
KW  - Teoria dowodu
KW  - kaba
N1  - Bibliogr. s. 190-207. Indeks; Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540518426
ER  -