General recursion theory: an axiomatic approach
General recursion theory: an axiomatic approach
General recursion theory: an axiomatic approach
General recursion theory: an axiomatic approach
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 in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth publica…
General Recursion Theory: an Axiomatic Approach
This volume presents a unified and coherent account of the many and various parts of general recursion theory.
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 in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth publica…
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 in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth pub…
"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 in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth pu…
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 in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth publica…
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 in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth pub…
What can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables such questions to be answered has been developed over the last fifty years from …
Algebraic recursion theory
by Bell, John Lane, Ivanov, L. L.
fromMathematics and its applications