You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest context for which they make sense. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic.
The theory set out in this book results from the meeting of descriptive set theory and recursion theory.
Gert H. Müller The growth of the number of publications in almost all scientific areas,· as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview ofthe existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, h...
At a recent meeting of logicians, one speaker complained - mainly, but perhaps not wholly, in jest - that logic is tightly controlled by a small group of people (the cabal) who exercise careful control over the release of new ideas to the general public (especially students) and indeed suppress some material com pletely. The situation is surely not so grim as this, but any potential reader of this book must have felt at some time that there is at least a minor conspiracy to keep new ideas inaccessible until the "insiders" have worked them over thoroughly. In particular he might well feel this way about the whole subject of Generalized Recursion Theory, which developed in the second half of t...
Each number is the catalogue of a specific school or college of the University.
Provability, Computability and Reflection
None
The third in a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar'.