Computability theory
Subtitle: an introduction to recursion theory
By: Herbert B. Enderton
Publisher: Academic Press
Published: 2011
Place of publication: Amsterdam; Boston
Language: eng
ISBN-13: 9780123849588
Table of contents: title: Machine generated contents note: 1. The Computability Concept;2. General Recursive Functions;3. Programs and Machines;4. Recursive Enumerability;5. Connections to Logic;6. Degrees of Unsolvability;7. Polynomial-Time Computability;Appendix: Mathspeak;Appendix: Countability;Appendix: Decadic Notation;.