TY  - BOOK
AU  - Suppes, Patrick.
AU  - Hill, Shirley.
TI  - Primer curso de lógica matemática /  
PY  - 1975///
CY  - Barcelona : 
PB  - Reverté, 
KW  - LOGICA MATEMATICA
N2  - Simbolización de proposiciones - Inferencia lógica - Certeza y validez - Tablas de certeza - Términos, predicados y cuantificadores universales - Especificación universal y leyes de identidad - Un sistema matemático simple: axiomas de la adición - Generalización universal
ER  -