TY  - BOOK
AU  - Takeuti,Gaisi
TI  - Proof theory
T2  - Dover books on mathematics
SN  - 9780486490731 (rústica)
AV  - QA9.54 T35 2013
U1  - 511.3/6 23
PY  - 2013///
CY  - Mineola, New York
PB  - Dover
KW  - Teoría de la demostración
ER  -