TY  - BOOK
AU  - Buss,Samuel R.
TI  - Handbook of proof theory
T2  - Studies in logic and the foundations of mathematics
SN  - 0444898409 (papel alcalino)
AV  - QA9.54 H35
U1  - 511.3 21
PY  - 1998///
CY  - New York
PB  - Elsevier
KW  - Teoría de la demostración
ER  -