TY  - BOOK
AU  - Binford, Frederick,
TI  - Solutions to the exercises in first course in mathematical logic
AV  - QA8.7 B55
PY  - 1965///
CY  - New York
PB  - Blaisdell
KW  - Lógica simbólica y matemática
KW  - Problemas, ejercicios, etc
ER  -