TY  - GEN
AU  - Suppes,Patrick
AU  - Hill,Shirley
AU  - Linés Escardó,Enrique
TI  - Primer curso de lógica matemática
SN  - 978-84-291-5150-3
PY  - 1992///
CY  - Barcelona
PB  - Reverté
N1  - 1. Simbolización de proposiciones - 2. Inferencia lógica - 3. Certeza y válidez - 4. Tablas de certeza - 5. Términos, predicados y cuantificadores universales - 6. Especificación universal y leyes de identidad - 7. Un sistema matemático simple: axiomas de la adición - 8. Generalización universal
UR  - https://biblioeco.unsa.edu.ar/pmb/images/libros/logica_matematica.jpg
ER  -