Models and Computability

Discover the intricate world of mathematical logic with Models and Computability, authored by leading experts in the field and published by Cambridge University Press in 1999. This essential volume, comprising 430 pages, serves as a comprehensive guide to the current state of mathematical logic. Together with its companion volume, Sets and Proofs, it encapsulates insights from distinguished speakers at the prestigious 'Logic Colloquium '97', the foremost international gathering of the Association of Symbolic Logic. Whether you're a student, educator, or a professional in the field, this book is an invaluable resource that will deepen your understanding of models and computability in logic. Enhance your library with this pivotal work that bridges theory and application in mathematical logic.