Related Books

Recursively Enumerable Sets and Degrees
Language: en
Pages: 460
Authors: Robert I. Soare
Categories: Mathematics
Type: BOOK - Published: 1999-11-01 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

..."The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees. .... The definitions, results and pro
Selected Logic Papers
Language: en
Pages: 460
Authors: Gerald E. Sacks
Categories: Computers
Type: BOOK - Published: 1999 - Publisher: World Scientific

DOWNLOAD EBOOK

Contents: Recursive Enumerability and the Jump Operator; On the Degrees Less Than 0'; A Simple Set Which Is Not Effectively Simple; The Recursively Enumerable D
Mathematical Logic in the 20th Century
Language: en
Pages: 712
Authors: Gerald E. Sacks
Categories: Mathematics
Type: BOOK - Published: 2003 - Publisher: World Scientific

DOWNLOAD EBOOK

This invaluable book is a collection of 31 important both inideas and results papers published by mathematical logicians inthe 20th Century. The papers have bee
Computability in Analysis and Physics
Language: en
Pages: 219
Authors: Marian B. Pour-El
Categories: Mathematics
Type: BOOK - Published: 2017-03-02 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The first graduate-level treatment of computable analysis within the tradition of classical mathematical reasoning.
Theory of Recursive Functions and Effective Computability
Language: en
Pages: 482
Authors: Hartley Rogers (Jr.)
Categories:
Type: BOOK - Published: 1967 - Publisher:

DOWNLOAD EBOOK