TY  - BOOK
AU  - Suppes,Patrick
AU  - Hill,Shirley
AU  - Linés Escardó,Enrique
TI  - Primer curso de lógica matemática  / 
U1  - 511.3 
PY  - 2009///
CY  - México, D.F.
PB  - Reverté
KW  - Lógica
KW  - Matemáticas
N1  - Incluye índice alfabético; 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  -