Bibliografia

Principal

• A Mathematical Primer on Computability: A. Sernadas, C. Sernadas, J. Rasga and J. Ramos 2018 College Publications

Secundária

• Computable Functions: A. Shen and N. K. Vereshchagin 2003 AMS
• Computability - An Introduction to Recursive Function Theory: N. J. Cutland 1992 Cambridge UP
• Computability and Logic: D. E. Cohen 1987 John Wiley
• Computability - A Mathematical Sketchbook: D. S. Bridges 1994 Springer
• Foundations of Logic and Theory of Computation: A. Sernadas and C. Sernadas 2008 College Publications
• Computability - Computable Functions, Logic, and the Foundations of Mathematics: R. L. Epstein and W. A. Carnielli 2000 Wadsworth