TY  - BOOK
AU  - Alfonso,Hernando
TI  - Logica II : prueba / 
T2  - Curso basico de matemàticas
AV  - QA9.8 L64 1974
PY  - 1974///
CY  - México : 
PB  - McGraw-Hill, 
KW  - Lemb
KW  - Logica matematica
N1  - Traduccion de: Logic II - Proof
ER  -