TY  - BOOK
AU  - Suppes,Patrick
AU  - Hill,Shirley,autor
AU  - Linés Escardó,Enrique,traductor
TI  - Introducción a la lógica matemática
SN  - 8429151508
U1  - 510 
PY  - 1986///
CY  - Madrid, España
PB  - Reverté, 
KW  - Lógica simbólica y matemática
N1  - 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
ER  -