Related Books

Contributions to Recursion Theory on Higher Types
Language: en
Pages: 192

Contributions to Recursion Theory on Higher Types

Authors: Leo Anthony Harrington
Categories:
Type: BOOK - Published: 1973 - Publisher:

DOWNLOAD EBOOK

Contribution to recursion theory on higher types
Language: en
Pages:

Contribution to recursion theory on higher types

Authors: Leo A. Harrington
Categories:
Type: BOOK - Published: 1973 - Publisher:

DOWNLOAD EBOOK

Higher Recursion Theory
Language: en
Pages: 362

Higher Recursion Theory

Authors: Gerald E. Sacks
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
Computations in Higher Types
Language: en
Pages: 208

Computations in Higher Types

Authors: J. Moldestad
Categories: Mathematics
Type: BOOK - Published: 2006-11-15 - Publisher: Springer

DOWNLOAD EBOOK

Generalized Recursion Theory
Language: en
Pages: 465

Generalized Recursion Theory

Authors: Lev D. Beklemishev
Categories: Computers
Type: BOOK - Published: 2000-04-01 - Publisher: Elsevier

DOWNLOAD EBOOK

Generalized Recursion Theory