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
英语
精装书
想要阅读