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