TY  - BOOK
AU  - Suppes, Patrick
AU  - Suppes, Patrick \ Hill, ShirleyÌ
TI  - Primer curso de lógica matemática
SN  - 84-291-5150-8
U1  - 511.3 / S 9595 
PY  - 1988///
CY  - Bogotá
PB  - Reverté
KW  -  MATEMATICAS
KW  - LOGICA MATEMATICA
N1  - Titulo de la caratula "Introducción a la lógica matemática"; 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 - gene
ER  -