Algebraic Recursion Theory
Title | Algebraic Recursion Theory PDF eBook |
Author | Ljubomir Lalov Ivanov |
Publisher | |
Pages | 268 |
Release | 1986 |
Genre | Recursion theory |
ISBN |
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
Recursion Theory
Title | Recursion Theory PDF eBook |
Author | Anil Nerode |
Publisher | American Mathematical Soc. |
Pages | 538 |
Release | 1985 |
Genre | Mathematics |
ISBN | 0821814478 |
Classical recursion theory : the theory of functions and sets of natural numbers
Title | Classical recursion theory : the theory of functions and sets of natural numbers PDF eBook |
Author | Piergiorgio Odifreddi |
Publisher | |
Pages | 668 |
Release | 1999 |
Genre | Recursion theory |
ISBN | 9780444589439 |
Higher Recursion Theory
Title | Higher Recursion Theory PDF eBook |
Author | Gerald E. Sacks |
Publisher | Cambridge University Press |
Pages | 361 |
Release | 2017-03-02 |
Genre | Computers |
ISBN | 1107168430 |
This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.
Recursive Algebra, Analysis and Combinatorics
Title | Recursive Algebra, Analysis and Combinatorics PDF eBook |
Author | |
Publisher | Elsevier |
Pages | 799 |
Release | 1998-11-30 |
Genre | Computers |
ISBN | 0080533701 |
Recursive Algebra, Analysis and Combinatorics
Recursion Theory
Title | Recursion Theory PDF eBook |
Author | Joseph R. Shoenfield |
Publisher | CRC Press |
Pages | 96 |
Release | 2018-04-27 |
Genre | Mathematics |
ISBN | 1351419420 |
This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundamental concept of recursion makes the idea of computability accessible to a mathematical analysis, thus forming one of the pillars on which modern computer science rests. The clarity and focus of this text have established it as a classic instrument for teaching and self-study that prepares its readers for the study of advanced monographs and the current literature on recursion theory.