TY  - BOOK
AU  - Suppes,Patrick
AU  - Hill,Shirley
AU  - Linés Escardó,Enrique
TI  - Introducción a la lógica matemática
SN  - 8429151508
U1  - 511.3 
PY  - 1992///
CY  - Bogotá
PB  - Editorial Reverté
KW  - Matemáticas
KW  - Problemas, ejercicios, etc
KW  - Lógica simbólica y matemática
N1  - Incluye índice; Título original. : First course in mathematical logic; Simbolización de proposiciones.--Inferencia lógica.--Tablas de certeza.--Terminos, predicados y cuantificadores universales.--Un sistema matemático simple axiomas de la adición.--Lógica matemática
ER  -