Lógica para matemáticos / A. G. Hamilton.

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.

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.

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.