Oxford Logic Guides

Links for eMule (download books in PDF and DJVU formats for free)

  1. [OLG 06] The Boole - De Morgan Correspondence 1842-1864 - G.C.Smith [Oxford Logic Guides] (1982)(T)(400dpi).djvu
  2. [OLG 09] Subrecursion. Functions and Hierarchies - H.E.Rose [Oxford Logic Guides] (1984)(T)(600dpi).djvu
  3. [OLG 10] Cantorian Set Theory and Limitation of Size - Michael Hallett [Oxford Logic Guides] (1984)(T)(600dpi).djvu
  4. [OLG 15] Models of Peano Arithmetic - Richard Kaye [Oxford Logic Guides] (1991).pdf
  5. [OLG 17] Foundations without Foundationalism. A Case for Second-order Logic - S.Shapiro [Oxford Logic Guides] (1991)(T).djvu
  6. [OLG 17] Foundations without Foundationalism. A Case for Second-order Logic - S.Shapiro [Oxford Logic Guides] (1991)(T).pdf
  7. [OLG 18] A Study of Logics - John P. Cleave [Oxford Logic Guides] (1991)(T)(600dpi).djvu
  8. [OLG 19] Godel's Incompleteness Theorems - Raymond M. Smullyan [Oxford Logic Guides] (1992)(T)(600dpi).djvu
  9. [OLG 19] Godel's Incompleteness Theorems - Raymond M. Smullyan [Oxford Logic Guides] (1992)(T).pdf
  10. [OLG 21] Elementary Categories, Elementary Toposes - Colin McLarty [Oxford Logic Guides] (1992)(T)(400dpi).djvu
  11. [OLG 22] Recursion Theory for Metamathematics - Raymond M. Smullyan [Oxford Logic Guides] (1993)(T)(600dpi).djvu
  12. [OLG 22] Recursion Theory for Metamathematics - Raymond M. Smullyan [Oxford Logic Guides] (1993)(T).pdf
  13. [OLG 24] Introduction to Logic and to the Methodology of the Deductive Sciences - Alfred Tarski [Oxford Logic Guides] (1994.4ed)(T).djvu
  14. [OLG 24] Introduction to Logic and to the Methodology of the Deductive Sciences - Alfred Tarski [Oxford Logic Guides] (1994.4ed)(T).pdf
  15. [OLG 25] Many-Valued Logics - G.Malinowski [Oxford Logic Guides] (1993)(T)(600dpi).djvu
  16. [OLG 27] Diagonalization and Self-Reference - Raymond M. Smullyan [Oxford Logic Guides] (1994)(T)(600dpi).djvu
  17. [OLG 27] Diagonalization and Self-Reference - Raymond M. Smullyan [Oxford Logic Guides] (1994)(T).pdf
  18. [OLG 29] Cardinal Arithmetic - Saharon Shelah [Oxford Logic Guides] (1994)(T)(600dpi).djvu
  19. [OLG 31] Set Theory with a Universal Set. Exploring an Untyped Universe - T.E.Forster [Oxford Logic Guides] (1995.2ed)(T).djvu
  20. [OLG 31] Set Theory with a Universal Set. Exploring an Untyped Universe - T.E.Forster [Oxford Logic Guides] (1995.2ed)(T).pdf
  21. [OLG 32] Geometric Stability Theory - Anand Pillay [Oxford Logic Guides] (1996)(S).pdf
  22. [OLG 32] Geometric Stability Theory - Anand Pillay [Oxford Logic Guides] (1996)(T).djvu
  23. [OLG 33] Labelled Deductive Systems. Volume 1 - Dov M. Gabbay [Oxford Logic Guides] (1996)(S).pdf
  24. [OLG 33] Labelled Deductive Systems. Volume 1 - Dov M. Gabbay [Oxford Logic Guides] (1996)(T).djvu
  25. [OLG 34] Set Theory and the Continuum Problem - R.M.Smullyan, M.Fitting [Oxford Logic Guides] (1996)(T)(600dpi).djvu
  26. [OLG 35] Modal Logic - Alexander Chagrov, Michael Zakharyaschev [Oxford Logic Guides] (1997)(T)(600dpi).djvu
  27. [OLG 36] Twenty-Five Years of Constructive Type Theory - Giovanni Sambin, Jan M. Smith [Oxford Logic Guides] (1998)(S).pdf
  28. [OLG 36] Twenty-Five Years of Constructive Type Theory - Giovanni Sambin, Jan M. Smith [Oxford Logic Guides] (1998)(T).djvu
  29. [OLG 41] Algebraic Methods in Philosophical Logic - J. Michael Dunn, Gary Hardegree [Oxford Logic Guides] (1998)(T).djvu
  30. [OLG 41] Algebraic Methods in Philosophical Logic - J. Michael Dunn, Gary Hardegree [Oxford Logic Guides] (1998)(T).pdf
  31. [OLG 43-44] Sketches of an Elephant. A Topos Theory Compendium. Volumes 1 & 2 - P.T.Johnstone [Oxford Logic Guides] (2002)(T).djvu
  32. [OLG 45] Reductive Logic and Proof-search. Proof Theory, Semantics, and Control - D.J.Pym, E.Ritter [Oxford Logic Guides] (2004)(T).pdf
  33. [OLG 46] Interpolation and Definability. Modal and Intuitionistic Logic - Dov M. Gabbay, Larisa Maksimova [Oxford Logic Guides] (2005)(T).pdf
  34. [OLG 47] Set Theory. Boolean-Valued Models and Independence Proofs - John L. Bell [Oxford Logic Guides] (2005.3ed)(T).pdf
  35. [OLG 48] From Sets and Types to Topology and Analysis - Laura Crosilla, Peter Schuster [Oxford Logic Guides] (2005)(T).pdf
  36. [OLG 49] Category Theory - Steve Awodey [Oxford Logic Guides] (2006)(T).pdf
  37. [OLG 50] The Structure of Models of Peano Arithmetic - Roman Kossak, James Schmerl [Oxford Logic Guides] (2006)(T).pdf
  38. [OLG 51] Computability and Randomness - Andre Nies [Oxford Logic Guides] (2009)(T).pdf

Oxford Texts in Logic

  1. [OTL 01] A First Course in Logic - Shawn Hedman [Oxford Texts in Logic] (2004)(T).pdf
  2. [OTL 02] Proof and Disproof in Formal Logic. An Introduction for Programmers - R.Bornat [Oxford Texts in Logic] (2005)(T).pdf
  3. [OTL 03] Mathematical Logic - Ian Chiswell, Wilfrid Hodges [Oxford Texts in Logic] (2007)(T).pdf


Full list of volumes: Oxford Guides in Logic