Related Books

Recursion Theory for Metamathematics
Language: en
Pages: 184
Authors: Raymond M. Smullyan
Categories: Mathematics
Type: BOOK - Published: 1993-01-28 - Publisher: Oxford University Press

DOWNLOAD EBOOK

This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theo
Theory of Recursive Functions and Effective Computability
Language: en
Pages: 0
Authors: Hartley Rogers
Categories: Computers
Type: BOOK - Published: 1987-04-22 - Publisher: National Geographic Books

DOWNLOAD EBOOK

(Reprint of the 1967 edition)
Recursion Theory
Language: en
Pages: 320
Authors: Chi Tat Chong
Categories: Mathematics
Type: BOOK - Published: 2015-08-17 - Publisher: Walter de Gruyter GmbH & Co KG

DOWNLOAD EBOOK

This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of t
Computability Theory
Language: en
Pages: 193
Authors: Herbert B. Enderton
Categories: Mathematics
Type: BOOK - Published: 2010-12-30 - Publisher: Academic Press

DOWNLOAD EBOOK

Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory
Higher Recursion Theory
Language: en
Pages: 361
Authors: Gerald E. Sacks
Categories: Mathematics
Type: BOOK - Published: 2017-03-02 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.