Mathematical Logic I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Thorems: R. Cori e D. Lascar2000 Oxford University Press
Mathematical Logic II: Recursion Theory, Gödel's Theorems, Set Theory, Model Theory: R. Cori e D. Lascar2001 Oxford University Press
Computability: Computable Functions, Logic, and the Foundations of Mathematics: R. Epstein and W. Carnielli2001Wadsworth
Introduction to Mathematical Logic: E. Mendelson1997 Chapman & Hall, (Fourth Edition).
Mathematical Logic.: J. R. Shoenfield2001A K Peters