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