1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a compre
This second volume of the study of classical recursion theory describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole
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