Models and Computability
About the book
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.
| Author | S. Barry (University of Leeds) Cooper |
|---|---|
| Publisher | Cambridge University Press |
| Published | 1999 m. |
| Language | English |
| Pages | 430 psl. |
| Format | Paperback |
| ISBN | 9780521635509 |