Recursive Function Theory and Logic
Language: en
Pages: 370
Authors: Ann Yasuhara
Categories: Mathematics
Type: BOOK - Published: 1971 - Publisher:

GET EBOOK

Computability
Language: en
Pages: 268
Authors: Nigel Cutland
Categories: Computers
Type: BOOK - Published: 1980-06-19 - Publisher: Cambridge University Press

GET EBOOK

What can computers do in principle? What are their inherent theoretical limitations? The theoretical framework which enables such questions to be answered has b
Theory of Recursive Functions and Effective Computability
Language: en
Pages: 482
Authors: Hartley Rogers (Jr.)
Categories:
Type: BOOK - Published: 1967 - Publisher:

GET EBOOK

Complexity, Logic, and Recursion Theory
Language: en
Pages: 380
Authors: Andrea Sorbi
Categories: Mathematics
Type: BOOK - Published: 2019-05-07 - Publisher: CRC Press

GET EBOOK

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretic
Recursion Theory
Language: en
Pages: 96
Authors: Joseph R. Shoenfield
Categories: Mathematics
Type: BOOK - Published: 2018-04-27 - Publisher: CRC Press

GET EBOOK

This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundam