TY  - BOOK
AU  - Buchholz,Wilfried
TI  - Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies 
T2  - Lecture Notes in Mathematics
SN  - 3540111700
PY  - 1981///
CY  - Berlin [etc.]
PB  - Springer-Verlag
KW  - Indukcja (matematyka)
KW  - kaba
KW  - Teoria dowodu
KW  - Podstawy analizy matematycznej
KW  - Logika symboliczna i matematyczna
N1  - Bibliogr. s. 358-368. Indeks; Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540111702
ER  -