Bibliografia

Principal

• Mathematical Logic. : J. R. Shoenfield 2001 A K Peters
• Foundations of Logic and Theory of Computation.: A. Sernadas e C. Sernadas 2008 College Publications
• Foundations of Logic and Theory of Computation: Amílcar Sernadas and Cristina Sernadas 2008 College Publications, London

Secundária

• An Introduction to Proof Theory.: S. Buss 1998 Handbook of Proof Theory, Elsevier, 1-78.
• Mathematical Logic I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Thorems: R. Cori e D. Lascar 2000 Oxford University Press
• Mathematical Logic II: Recursion Theory, Gödel's Theorems, Set Theory, Model Theory: R. Cori e D. Lascar 2001 Oxford University Press
• Computability: Computable Functions, Logic, and the Foundations of Mathematics: R. Epstein and W. Carnielli 2001 Wadsworth
• Introduction to Mathematical Logic: E. Mendelson 1997 Chapman & Hall, (Fourth Edition).