• Computability Theory - A Primer: A. Sernadas and J. Ramos in preparation DMIST
  • 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


  • Computability and Complexity Theory: S. Homer and A. L. Selman 2001 Springer
  • Foundations of Logic and Theory of Computation: A. Sernadas ans C. Sernadas 2008 College Publications
  • Computability - Computable Functions, Logic, and the Foundations of Mathematics: R. L. Epstein and W. A. Carnielli 2000 Wadsworth