Introduction to computability
Fred Hennie.
Reading, Mass. : Addison-Wesley, ©1977.
ix, 374 págs. : ilustraciones ; 25 cm.
Serie: Addison-Wesley series in computer science and information processing
ISBN: 0201028484
Bibliografía: p. 363-364.
Reseña: MathSciNet, 56 #11767
Capítulos
- 1. Properties of algorithmic computation
- 2. Turing machines
- 3. Turing computability
- 4. Primitive recursive functions
- 5. Recursive functions
- 6. Computability and decidability.