TY  - BOOK
AU  - Suppes,Patrick
AU  - Hill,Shirley A.
AU  - Linés Escardó,Enrique
TI  - Primer curso de lógica matemática
SN  - 8429151508
U1  - 511.3 22
PY  - 1988///
CY  - Barcelona
PB  - Reverté
KW  - Lógica simbólica y matemática
KW  - Problemas, ejercicios, etc
KW  - LEMB
KW  - Manuales
N1  - Incluye índice; Titulo de la portada: Introducción a la lógica matemática; 1. Simbolización de proposiciones ; 2. Inferencia lógica ; 3. Certeza y validez ; 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; First course in mathematical logic
N2  - El propósito de este libro es introducir al estudiante en el método deductivo de la Matemática moderna, pero se ha intentado escribirlo de manera que lo puedan utilizar los estudiantes con un margen de edad y habilidad muy amplio. Se ha insistido mucho a lo largo del texto en la importancia del problema d e traducir a símbolos lógicos o matemáticos proposiciones enunciadas en lenguaje corriente, y se han agregado multitud de ejemplos y ejercicio
ER  -