Introducción a la lógica matemática [texto impreso] /
Patrick Suppes, Autor ;
Shirley Hill, Autor . -
Barcelona : Reverté, 2004 . - ix, 278 p. ; 22 cm.
ISBN : 84-291-5150-8
Incluye índice - Título original: First course in mathematical logic .
| Palabras clave: |
Lógica simbólica y matemática |
| Nota de contenido: |
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. |
