Bibliografia
Principal
- 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
Secundária
- 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