Recursive Model Theory
Title | Recursive Model Theory PDF eBook |
Author | |
Publisher | Elsevier |
Pages | 619 |
Release | 1998-11-30 |
Genre | Computers |
ISBN | 9780080533698 |
Recursive Model Theory
Recursive Model Theory
Title | Recursive Model Theory PDF eBook |
Author | |
Publisher | |
Pages | 620 |
Release | 1998 |
Genre | Logic, Symbolic and mathematical |
ISBN |
Handbook of Recursive Mathematics
Title | Handbook of Recursive Mathematics PDF eBook |
Author | |
Publisher | |
Pages | 1372 |
Release | 1998 |
Genre | Recursion theory |
ISBN | 9780444500038 |
Recursive Function Theory and Logic
Title | Recursive Function Theory and Logic PDF eBook |
Author | Ann Yasuhara |
Publisher | |
Pages | 370 |
Release | 1971 |
Genre | Mathematics |
ISBN |
Recursive Macroeconomic Theory
Title | Recursive Macroeconomic Theory PDF eBook |
Author | Lars Ljungqvist |
Publisher | MIT Press |
Pages | 1120 |
Release | 2004 |
Genre | Business & Economics |
ISBN | 9780262122740 |
A significant new edition of a text that offers both tools and sample applications; extensive revisions and seven new chapters improve and expand upon the original treatment.
Recursive Model Theory
Title | Recursive Model Theory PDF eBook |
Author | Yu L. Ershov |
Publisher | North-Holland |
Pages | 664 |
Release | 1998-11-30 |
Genre | Recursion theory |
ISBN | 9780444500038 |
Recursion Theory for Metamathematics
Title | Recursion Theory for Metamathematics PDF eBook |
Author | Raymond M. Smullyan |
Publisher | Oxford University Press |
Pages | 180 |
Release | 1993-01-28 |
Genre | Mathematics |
ISBN | 0195344812 |
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 theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.