Oxford Logic Guides
書籍系列
由 Raymond M. Smullyan
最新:
2010
書籍 21
Elementary Categories, Elementary Toposes
由 Colin McLarty
書籍 22
Recursion Theory for Metamathematics
由 Raymond M. Smullyan
書籍 23
Arithmetic, Proof Theory, and Computational Complexity
由 Peter Clote
書籍 24
書籍 25
Many-Valued Logics
由 Grzegorz Malinowski
書籍 26
Groups of Finite Morley Rank
由 Alexandre V. Borovik
書籍 27
Diagonalization and Self-Reference
由 Raymond M. Smullyan
書籍 28
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1
由 Dov M. Gabbay, Mark A. Reynolds
書籍 29
Cardinal Arithmetic
由 Saharon Shelah
書籍 30
書籍 31
書籍 32
Geometric Stability Theory
由 Anand Pillay
Geometric Stability Theory. Oxford Logic Guides, Volume 32.
由 Anand Pillay
書籍 33
Labelled Deductive Systems (Vol. 1)
由 Dov M. Gabbay
Labelled Deductive Systems: Volume 1. Oxford Logic Guides 33.
由 Dov M. Gabbay
書籍 34
Set Theory and the Continuum Problem
由 Raymond M. Smullyan, Melvin Fitting
書籍 35
Modal Logic
由 Alexander Chagrov, Michael Zakharyaschev
書籍 36
書籍 37
Model Theory
由 Maria Manzano, Ruy J.G.B. de Queiroz
書籍 38
Fibring Logics
由 Dov M. Gabbay
書籍 39
Elements of Intuitionism
由 Michael Dummett
書籍 40
Temporal Logic: Mathematical Foundations and Computational Aspects (Volume 2)
由 Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger
書籍 41
Algebraic Methods in Philosophical Logic
由 J. Michael Dunn
書籍 42
書籍 43
Sketches of an Elephant
由 P.T. Johnstone
書籍 44
Sketches of an Elephant: A Topos Theory Compendium (Volume 1)
由 Peter Johnstone
Sketches of an Elephant: v.2: A Topos Theory Compendium
由 Peter Johnstone
書籍 45
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
由 David J. Pym, Eike Ritter
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.
由 David J. Pym, Eike Ritter
書籍 46
Interpolation and Definability: Modal and Intuitionistic Logics
由 Dov M. Gabbay, Larisa Maksimova
書籍 47
書籍 48
書籍 50
The Structure of Models of Peano Arithmetic
由 Roman Kossak, Jim Schmerl
書籍 51
Computability and Randomness
由 André Nies
書籍 52
Category Theory
由 Steve Awodey
書籍 43-44
Sketches of an Elephant: A Topos Theory Compendium
由 Peter T. Johnstone