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
Set Theory with a Universal Set: Exploring an Untyped Universe
によって T.E. Forster
本 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
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.
によって Giovanni Sambin, Jan Smith
本 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
Set Theory: Boolean-Valued Models and Independence Proofs
によって J. L. Bell
本 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