Oxford Logic Guides

書籍系列

由 Raymond M. Smullyan
最新: 2010

書籍 21

Elementary Categories, Elementary Toposes

Elementary Categories, Elementary Toposes

由 Colin McLarty
Feb 1, 1996
英語
Kindle
想要閱讀

書籍 22

Recursion Theory for Metamathematics

Recursion Theory for Metamathematics

由 Raymond M. Smullyan
Jan 28, 1993
英語
精裝書
想要閱讀

書籍 23

Arithmetic, Proof Theory, and Computational Complexity

Arithmetic, Proof Theory, and Computational Complexity

由 Peter Clote
Jun 10, 1993
英語
精裝書
想要閱讀

書籍 24

Introduction to Logic and to the Methodology of the Deductive Sciences. Oxford Logic Guides, Volume 24.

Introduction to Logic and to the Methodology of the Deductive Sciences. Oxford Logic Guides, Volume 24.

由 Jan Tarski
Jan 1, 1994
英語
電子書
想要閱讀

書籍 25

Many-Valued Logics

Many-Valued Logics

由 Grzegorz Malinowski
Jan 27, 1994
英語
精裝書
想要閱讀

書籍 26

Groups of Finite Morley Rank

Groups of Finite Morley Rank

由 Alexandre V. Borovik
Jan 19, 1995
英語
精裝書
想要閱讀

書籍 27

Diagonalization and Self-Reference

Diagonalization and Self-Reference

由 Raymond M. Smullyan
Oct 13, 1994
英語
精裝書
想要閱讀

書籍 28

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

由 Dov M. Gabbay, Mark A. Reynolds
Aug 25, 1994
英語
精裝書
想要閱讀

書籍 29

Cardinal Arithmetic

Cardinal Arithmetic

由 Saharon Shelah
Dec 29, 1994
英語
精裝書
想要閱讀

書籍 30

Features and Fluents: The Representation of Knowledge About Dynamical SystemsVolume 1

Features and Fluents: The Representation of Knowledge About Dynamical SystemsVolume 1

由 Erik Sandewall
Feb 9, 1995
英語
精裝書
想要閱讀

書籍 31

Set Theory with a Universal Set: Exploring an Untyped Universe

Set Theory with a Universal Set: Exploring an Untyped Universe

由 T.E. Forster
Oct 5, 1995
英語
精裝書
想要閱讀

書籍 32

Geometric Stability Theory

Geometric Stability Theory

由 Anand Pillay
Nov 7, 1996
英語
精裝書
想要閱讀
Geometric Stability Theory. Oxford Logic Guides, Volume 32.

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

由 Anand Pillay
Jan 10, 2010
英語
電子書
想要閱讀

書籍 33

Labelled Deductive Systems (Vol. 1)

Labelled Deductive Systems (Vol. 1)

由 Dov M. Gabbay
Nov 14, 1996
英語
精裝書
版本: 1
想要閱讀
Labelled Deductive Systems: Volume 1. Oxford Logic Guides 33.

Labelled Deductive Systems: Volume 1. Oxford Logic Guides 33.

由 Dov M. Gabbay
Jan 1, 1996
英語
電子書
想要閱讀

書籍 34

Set Theory and the Continuum Problem

Set Theory and the Continuum Problem

由 Raymond M. Smullyan, Melvin Fitting
Nov 14, 1996
英語
精裝書
想要閱讀

書籍 35

Modal Logic

Modal Logic

由 Alexander Chagrov, Michael Zakharyaschev
Jun 19, 1997
英語
精裝書
想要閱讀

書籍 36

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.

由 Giovanni Sambin, Jan Smith
Jan 10, 2010
英語
電子書
想要閱讀

書籍 37

Model Theory

Model Theory

由 Maria Manzano, Ruy J.G.B. de Queiroz
Jul 8, 1999
英語
精裝書
想要閱讀

書籍 38

Fibring Logics

Fibring Logics

由 Dov M. Gabbay
Dec 24, 1998
英語
精裝書
版本: 1
想要閱讀

書籍 39

Elements of Intuitionism

Elements of Intuitionism

由 Michael Dummett
Aug 17, 2000
英語
精裝書
想要閱讀

書籍 40

Temporal Logic: Mathematical Foundations and Computational Aspects (Volume 2)

Temporal Logic: Mathematical Foundations and Computational Aspects (Volume 2)

由 Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger
May 15, 2000
英語
精裝書
版本: 1
想要閱讀

書籍 41

Algebraic Methods in Philosophical Logic

Algebraic Methods in Philosophical Logic

由 J. Michael Dunn
Aug 30, 2001
英語
精裝書
版本: 1
想要閱讀

書籍 42

Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning

Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning

由 Hans Rott
Dec 13, 2001
英語
精裝書
想要閱讀

書籍 43

Sketches of an Elephant

Sketches of an Elephant

由 P.T. Johnstone
Jun 30, 2002
英語
精裝書
想要閱讀
Sketches of an Elephant: A Topos Theory Compendium: 2 Volume Set (Oxford Logic Guides) by Peter T. Johnstone

Sketches of an Elephant: A Topos Theory Compendium: 2 Volume Set (Oxford Logic Guides) by Peter T. Johnstone

由 P.T. Johnstone
英語
精裝書
想要閱讀

書籍 44

Sketches of an Elephant: A Topos Theory Compendium (Volume 1)

Sketches of an Elephant: A Topos Theory Compendium (Volume 1)

由 Peter Johnstone
Nov 21, 2002
英語
精裝書
版本: 1
想要閱讀
[(Sketches of an Elephant: v.2: A Topos Theory Compendium )] [Author: Peter T. Johnstone] [Nov-2002]

[(Sketches of an Elephant: v.2: A Topos Theory Compendium )] [Author: Peter T. Johnstone] [Nov-2002]

由 Peter Johnstone
英語
平裝書
想要閱讀

書籍 45

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

由 David J. Pym, Eike Ritter
Jan 1, 2004
英語
Kindle
版本: 1
想要閱讀
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.

由 David J. Pym, Eike Ritter
Jan 10, 2010
英語
電子書
想要閱讀

書籍 46

Interpolation and Definability: Modal and Intuitionistic Logics

Interpolation and Definability: Modal and Intuitionistic Logics

由 Dov M. Gabbay, Larisa Maksimova
May 12, 2005
英語
Kindle
想要閱讀

書籍 47

Set Theory: Boolean-Valued Models and Independence Proofs

Set Theory: Boolean-Valued Models and Independence Proofs

由 J. L. Bell
Jan 1, 2011
英語
Kindle
版本: 3
想要閱讀

書籍 48

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

由 Laura Crosilla
Dec 8, 2005
英語
精裝書
想要閱讀

書籍 50

The Structure of Models of Peano Arithmetic

The Structure of Models of Peano Arithmetic

由 Roman Kossak, Jim Schmerl
Sep 14, 2006
英語
精裝書
想要閱讀

書籍 51

Computability and Randomness

Computability and Randomness

由 André Nies
Mar 29, 2012
英語
Kindle
想要閱讀

書籍 52

Category Theory

Category Theory

由 Steve Awodey
Jul 27, 2006
英語
精裝書
想要閱讀

書籍 43-44

Sketches of an Elephant: A Topos Theory Compendium

Sketches of an Elephant: A Topos Theory Compendium

由 Peter T. Johnstone
Jul 17, 2003
英語
精裝書
想要閱讀