TY  - BOOK
AU  - Hamilton,A.G
TI  - Lógica para matemáticos
T2  - Lógica y teoría de la ciencia
SN  - 8428311013
PY  - 1981///
CY  - Madrid, España
PB  - Paraninfo, 
KW  - Lógica matemática
KW  - Sistema matemático
KW  - Gödel, teorema de incompletitud
KW  - Computabilidad
KW  - Insolubilidad
KW  - Indecidibilidad
KW  - Conjunto numerable
KW  - Conjunto no numerable
KW  - Cálculo de enunciados
KW  - Cálculo de predicados
N1  - Título original en inglés: Logic for mathematicians; Traducido por Mario Rodríguez Artalejo; Índice: p. 5 a 6; Glosario de símbolos: p. 236 a 239; Índice alfabético de materias: p. 240 a 243; Indicaciones y soluciones de ejercicios seleccionados: p. 219; Bibliografía: p. 235; 1. Cálculo de enunciados informal; 2. Cálculo de enunciados formal; 3. Cálculo de predicados informal; 4. Cálculo de predicados formal; 5. Sistemas matemáticos; 6. El teorema de la incompletitud de Gödel; 7. Computabilidad, insolubilidad, indecidibilidad; Apéndice: Conjuntos numerables y no numerables; Para quien disponga de una mínima base de matemática, desde el estudiante de primer curso hasta el matemático profesional. Se supone una cierta familiaridad con el álgebra y la teoría de números elementales
N2  - El material del libro se ha desarrollado  partir del presentado en dos cursos separados de dieciséis clases, de tercero y cuarto año de licenciatura. El alcance de este libro es más limitado que el de otras introducciones standard de la materia. En particular, la teoría de modelos y la teoría axiomática de conjuntos sólo se toca  de refilón. Por ello, se refiere al lector interesado, a la lista de títulos del final del libro para ulteriores lecturas.
Hay ejercicios al final de cada sección. Su propósito es clarificar y consolidar la materia, no extenderla.
ER  -