Bibliografia
Principal
- Foundations of Logic and Theory of Computation - Second Edition.: A. Sernadas e C. Sernadas 2012 College Publications, London
- Fundamentos de Lógica e Teoria da Computação - Segunda Edição : A. Sernadas e C. Sernadas 2012 College Publications, London
Secundária
- Mathematical Logic I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Thorems: R. Cori e D. Lascar 2000 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).
- Mathematical Logic.: J. R. Shoenfield 2001 A K Peters