An Introduction to Recursive Function Theory
by
Nigel Cutland
Language: English
Release Date: June 19, 1980
What can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables such questions to be answered has been developed over the last fifty years from the idea of a computable...