Related Books

Classical Recursion Theory
Language: en
Pages: 667
Authors: P. Odifreddi
Categories: Computers
Type: BOOK - Published: 1992-02-04 - Publisher: Elsevier

DOWNLOAD EBOOK

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a compre
Classical Recursion Theory
Language: en
Pages: 1106
Authors: Piergiorgio Odifreddi
Categories: Recursion theory
Type: BOOK - Published: 1989 - Publisher:

DOWNLOAD EBOOK

This second volume of the study of classical recursion theory describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole
Higher Recursion Theory
Language: en
Pages: 361
Authors: Gerald E. Sacks
Categories: Computers
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.
Recursion-Theoretic Hierarchies
Language: en
Pages: 494
Authors: Peter G. Hinman
Categories: Mathematics
Type: BOOK - Published: 2017-03-02 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books
Generalized Recursion Theory
Language: en
Pages: 465
Authors: Lev D. Beklemishev
Categories: Computers
Type: BOOK - Published: 2000-04-01 - Publisher: Elsevier

DOWNLOAD EBOOK

Generalized Recursion Theory