Oxford Logic Guides

Boekenserie

door Raymond M. Smullyan
Laatste: 2010

Boek 21

Elementary Categories, Elementary Toposes

Elementary Categories, Elementary Toposes

door Colin McLarty
Feb 1, 1996
Engels
Kindle
Wil Lezen

Boek 22

Recursion Theory for Metamathematics

Recursion Theory for Metamathematics

door Raymond M. Smullyan
Jan 28, 1993
Engels
Hardcover
Wil Lezen

Boek 23

Arithmetic, Proof Theory, and Computational Complexity

Arithmetic, Proof Theory, and Computational Complexity

door Peter Clote
Jun 10, 1993
Engels
Hardcover
Wil Lezen

Boek 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.

door Jan Tarski
Jan 1, 1994
Engels
eBook
Wil Lezen

Boek 25

Many-Valued Logics

Many-Valued Logics

door Grzegorz Malinowski
Jan 27, 1994
Engels
Hardcover
Wil Lezen

Boek 26

Groups of Finite Morley Rank

Groups of Finite Morley Rank

door Alexandre V. Borovik
Jan 19, 1995
Engels
Hardcover
Wil Lezen

Boek 27

Diagonalization and Self-Reference

Diagonalization and Self-Reference

door Raymond M. Smullyan
Oct 13, 1994
Engels
Hardcover
Wil Lezen

Boek 28

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

door Dov M. Gabbay, Mark A. Reynolds
Aug 25, 1994
Engels
Hardcover
Wil Lezen

Boek 29

Cardinal Arithmetic

Cardinal Arithmetic

door Saharon Shelah
Dec 29, 1994
Engels
Hardcover
Wil Lezen

Boek 30

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

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

door Erik Sandewall
Feb 9, 1995
Engels
Hardcover
Wil Lezen

Boek 31

Set Theory with a Universal Set: Exploring an Untyped Universe

Set Theory with a Universal Set: Exploring an Untyped Universe

door T.E. Forster
Oct 5, 1995
Engels
Hardcover
Wil Lezen

Boek 32

Geometric Stability Theory

Geometric Stability Theory

door Anand Pillay
Nov 7, 1996
Engels
Hardcover
Wil Lezen
Geometric Stability Theory. Oxford Logic Guides, Volume 32.

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

door Anand Pillay
Jan 10, 2010
Engels
eBook
Wil Lezen

Boek 33

Labelled Deductive Systems (Vol. 1)

Labelled Deductive Systems (Vol. 1)

door Dov M. Gabbay
Nov 14, 1996
Engels
Hardcover
Editie: 1
Wil Lezen
Labelled Deductive Systems: Volume 1. Oxford Logic Guides 33.

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

door Dov M. Gabbay
Jan 1, 1996
Engels
eBook
Wil Lezen

Boek 34

Set Theory and the Continuum Problem

Set Theory and the Continuum Problem

door Raymond M. Smullyan, Melvin Fitting
Nov 14, 1996
Engels
Hardcover
Wil Lezen

Boek 35

Modal Logic

Modal Logic

door Alexander Chagrov, Michael Zakharyaschev
Jun 19, 1997
Engels
Hardcover
Wil Lezen

Boek 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.

door Giovanni Sambin, Jan Smith
Jan 10, 2010
Engels
eBook
Wil Lezen

Boek 37

Model Theory

Model Theory

door Maria Manzano, Ruy J.G.B. de Queiroz
Jul 8, 1999
Engels
Hardcover
Wil Lezen

Boek 38

Fibring Logics

Fibring Logics

door Dov M. Gabbay
Dec 24, 1998
Engels
Hardcover
Editie: 1
Wil Lezen

Boek 39

Elements of Intuitionism

Elements of Intuitionism

door Michael Dummett
Aug 17, 2000
Engels
Hardcover
Wil Lezen

Boek 40

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

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

door Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger
May 15, 2000
Engels
Hardcover
Editie: 1
Wil Lezen

Boek 41

Algebraic Methods in Philosophical Logic

Algebraic Methods in Philosophical Logic

door J. Michael Dunn
Aug 30, 2001
Engels
Hardcover
Editie: 1
Wil Lezen

Boek 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

door Hans Rott
Dec 13, 2001
Engels
Hardcover
Wil Lezen

Boek 43

Sketches of an Elephant

Sketches of an Elephant

door P.T. Johnstone
Jun 30, 2002
Engels
Hardcover
Wil Lezen
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

door P.T. Johnstone
Engels
Hardcover
Wil Lezen

Boek 44

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

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

door Peter Johnstone
Nov 21, 2002
Engels
Hardcover
Editie: 1
Wil Lezen
[(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]

door Peter Johnstone
Engels
Paperback
Wil Lezen

Boek 45

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

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

door David J. Pym, Eike Ritter
Jan 1, 2004
Engels
Kindle
Editie: 1
Wil Lezen
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.

door David J. Pym, Eike Ritter
Jan 10, 2010
Engels
eBook
Wil Lezen

Boek 46

Interpolation and Definability: Modal and Intuitionistic Logics

Interpolation and Definability: Modal and Intuitionistic Logics

door Dov M. Gabbay, Larisa Maksimova
May 12, 2005
Engels
Kindle
Wil Lezen

Boek 47

Set Theory: Boolean-Valued Models and Independence Proofs

Set Theory: Boolean-Valued Models and Independence Proofs

door J. L. Bell
Jan 1, 2011
Engels
Kindle
Editie: 3
Wil Lezen

Boek 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

door Laura Crosilla
Dec 8, 2005
Engels
Hardcover
Wil Lezen

Boek 50

The Structure of Models of Peano Arithmetic

The Structure of Models of Peano Arithmetic

door Roman Kossak, Jim Schmerl
Sep 14, 2006
Engels
Hardcover
Wil Lezen

Boek 51

Computability and Randomness

Computability and Randomness

door André Nies
Mar 29, 2012
Engels
Kindle
Wil Lezen

Boek 52

Category Theory

Category Theory

door Steve Awodey
Jul 27, 2006
Engels
Hardcover
Wil Lezen

Boek 43-44

Sketches of an Elephant: A Topos Theory Compendium

Sketches of an Elephant: A Topos Theory Compendium

door Peter T. Johnstone
Jul 17, 2003
Engels
Hardcover
Wil Lezen