An Introduction to Recursion Theory
by
Herbert B. Enderton
Language: English
Release Date: December 30, 2010
Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical...