Oxford Logic Guides Books

Delve into the world of formal logic with the Oxford Logic Guides series. Perfect for students and researchers alike, these guides offer clear and rigorous introductions to key topics in mathematical and philosophical logic.

48

Oxford Logic Guides Series in Order:

  1. Elementary Categories, Elementary Toposes (1971)
  2. Boolean-Valued Models and Independence Proofs in Set Theory (1977)
  3. Recursion Theory: Its Generalisations and Applications (1980)
  4. Model-Theoretic Logics (1985)
  5. Models and Languages for Functional Programming (1985)
  6. The Modal Logic of Provability (1993)
  7. Proof Theory and Logical Complexity (1996)
  8. Basic Category Theory (1998)
  9. Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1 (2000)
  10. Complexity and Real Computation (2000)
  11. The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse (2002)
  12. An Introduction to Gödel's Theorems (2007)
  13. Computability and Randomness (2010)
  14. Games, Logic and Processes (2011)
  15. Sets for Mathematics (2014)
  16. Reverse Mathematics: The Playground of Logic (2018)
  17. Introduction to Proof Theory (2020)
  18. A Concise Introduction to Logic (2021)
  19. An Invitation to Model Theory (2024)