• Bibliografía

    • Mathematical Logic: A Course With Exercises. Part 1. René Cori, Daniel Lascar. Oxford University Press, 2000
    • A Discipline of Programming. Edsger Dijkstra. Prentice Hall, 1997.
    • A Method of Programming. Edsger Dijkstra, W. H. Feijen. Addison-Wesley Longman Publishing Co, 1988
    • Reasoned programming. K. Broda,  S. Eisenbach,  H. Khoshnevisan,  S. Vickers. Prentice-Hall, 1994
    • A Mathematical Introduction to Logic, Herbert Enderton. (En Biblioteca Leloir)
    • Introduction to Mathematical Logic, Elliott Mendelson. (En Biblioteca Leloir)
    • First-Order Logic, Raymond Smullyan. (En Biblioteca Leloir)
    • Curso de Lógica, Roberto Cignoli y Guillermo Martinez. Descagar de aquí