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
책 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