Hamilton, A. G  1943- <br/><br/>
Lógica para matemáticos / 
A. G. Hamilton. 
 - Madrid, España :  Paraninfo,   1981. 
 - 243 p.   gráf.   22 cm. 
 - Lógica y teoría de la ciencia .
<br/><br/> 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. 
<br/><br/>Bibliografía: p. 235. 
<br/><br/>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. 
<br/><br/> 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.<br/>Hay ejercicios al final de cada sección. Su propósito es clarificar y consolidar la materia, no extenderla.  
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>8428311013 
<br/><br/><label>Subjects--Index Terms: </label><br/>Lógica matemática <br/>Sistema matemático <br/>Gödel, teorema de incompletitud <br/>Computabilidad <br/>Insolubilidad <br/>Indecidibilidad <br/>Conjunto numerable <br/>Conjunto no numerable <br/>Cálculo de enunciados <br/>Cálculo de predicados 
<br/><br/><label>Universal Decimal Class. No.: </label>510.6