TY  - BOOK
AU  - Takenti, Gaisi,
TI  - Proof theory. --
AV  - QA9.54 T34
PY  - 1975///
CY  - Amsterdam north-holland
KW  - Teoría de la demostración
ER  -