Publisher's Synopsis
This account of the theory of computable functions (also called partial recursive functions) and applications in logic provides for those who need authoritative and theoretical knowledge, in parallel with the increasing need to use computers. The material is presented without reference to specific programming languages, with no previous knowledge of programming assumed.