TY  - BOOK
AU  - Suppes,Patrick
AU  - Hill,Shirley
TI  - Primer curso de lógica matemática
SN  - 9686708014
PY  - 2004///
CY  - México : 
PB  - Reverté, 
KW  - LOGICA
KW  - LOGICA MATEMATICA
N2  - Simbolización de proposiciones. Inferencia lógica. Certeza y validez. Términos, predicados y cuantificacadores universales. Especificación universal y leyes de identidad. Un sistema matemáttico simple: Axiomas de la adición. Generalización universal.
ER  -