Hermes Puyau - Jorge Roetti: Elementos De Lógica Matematica

Este libro presenta una exposición de la lógica elemental y de la teoría axiomática de clases y conjuntos, más la construcción de los sistemas numéricos. La obra se completa con el teorema de completitud de Gödel y el de Löwenheim - Skolem, además del esbozo de algunas aproximaciones no conjuntistas al problema de los fundamentos de la matemática.
Elementos de lógica matemática satisface las necesidades formales de un primer curso de lógica universitaria. A lo largo de cada capítulo se ha separado, con la mayor claridad posible, el tratamiento sintáctico del semántico en los sistemas lógicos; en la aproximación semántica se exponen, independientemente, los métodos axiomático y de deducción natural, y en toda la obra se realizaron las demostraciones, case siempre en forma exhaustiva, a fin de evitar dificultades al lector.
El doctor H. A. Puyau se graduó como profesor de Filosofía, en 1949, en la Facultad de Filosofía y Letras de la Universidad de Buenos Aires, donde en 1961 recibió el doctorado. Su labor docente transcurre en las Universidades del Sur, de Mar del Plata y de La Plata.