TY  - BOOK
AU  - Schwichtenberg,Helmut
AU  - Wainer,S.S.
TI  - Proofs and computations
T2  - Perspectives in logic
SN  - 0521517699
AV  - QA76.63 S354
PY  - 2012///
CY  - Cambridge
PB  - Cambridge University Press, Association for Symbolic Logic
KW  - Programación lógica
KW  - Teoría de la demostración
ER  -