A Programming Approach to Computability

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Kfoury, A.J. (Author, http://id.loc.gov/vocabulary/relators/aut), Moll, Robert N. (http://id.loc.gov/vocabulary/relators/aut), Arbib, Michael A. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer New York : Imprint: Springer, 1982.
Edition:1st ed. 1982.
Series:The AKM Series in Theoretical Computer Science
Springer eBook Collection.
Subjects:
Applied mathematics.
Engineering mathematics.
Computers.
Software engineering.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

E-resources

Holdings details from E-resources
Call Number: E-Book
Copy: 1 Available

Similar Items