A Programming Approach to Computability by A.J. Kfoury, Robert N. Moll, Michael A. Arbib.
Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its basic results were discovered by mathematical logicians prior to the development of the first stored-program computer. As a result, many texts on computability theory strike today's computer scien...
|Main Authors:||, ,|
New York, NY :
Springer New York : Imprint: Springer,
|Edition:||1st ed. 1982.|
|Series:||The AKM Series in Theoretical Computer Science
Springer eBook Collection.
|Online Access:||Click to view e-book|
|Holy Cross Note:||Loaded electronically.|
Electronic access restricted to members of the Holy Cross Community.