• Bibliografía

    Bibliografía

    • Computability and Logic, 3rd ed. Jeffrey, Richard C. Boolos, George S. / 1997
    • Metalogic : An Introduction to the Metatheory of Standard First Order Logic Geoffrey Hunter / 1996
    • Model Theory (Studies in Logic and the Foundations of Mathematics, Vol 73)
    • Chen Chung Chang, H. Jerome Keisler / 1990
    • A Shorter Model Theory Wilfrid Hodges / 1997
    • Basic Model Theory (Studies in Logic, Language and Information) Kees Doets / 1996
    • New Directions in the Philosophy of Mathematics : An Anthology Thomas Tymoczko(Editor) / 1998
    • Mathematical Logic : An Introduction to Model Theory A.H. Lightstone / 1978
    • Introducción a la Teoría de Modelos Gonzalez Asenjo / 1977
    • Metamatematica Paul Lorenzen / 1970
    • Logic for Mathematicians A. Hamilton / 1985
    • Lógica de Primer Orden Smullyan, Raymond M . / 1992