Oxford Logic Guides Books

Book 21

Elementary Categories, Elementary Toposes

by Colin McLarty

Feb 1, 1996

English

Kindle (280 pages)

Want To Read

Book 22

Recursion Theory for Metamathematics

by Raymond M. Smullyan

Jan 28, 1993

English

Hardcover (184 pages)

Want To Read

Book 23

Arithmetic, Proof Theory, and Computational Complexity

by Peter Clote

Jun 10, 1993

English

Hardcover (442 pages)

Want To Read

Book 24

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

by Jan Tarski

Jan 1, 1994

English

eBook

Want To Read

Book 25

Many-Valued Logics

by Grzegorz Malinowski

Jan 27, 1994

English

Hardcover (138 pages)

Want To Read

Book 26

Groups of Finite Morley Rank

by Alexandre V. Borovik

Jan 19, 1995

English

Hardcover (426 pages)

Want To Read

Book 27

Diagonalization and Self-Reference

by Raymond M. Smullyan

Oct 13, 1994

English

Hardcover (412 pages)

Want To Read

Book 28

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

by Dov M. Gabbay, Mark A. Reynolds

Aug 25, 1994

English

Hardcover (668 pages)

Want To Read

Book 29

Cardinal Arithmetic

by Saharon Shelah

Dec 29, 1994

English

Hardcover (512 pages)

Want To Read

Book 30

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

by Erik Sandewall

Feb 9, 1995

English

Hardcover (346 pages)

Want To Read

Book 31

Set Theory with a Universal Set: Exploring an Untyped Universe

by T.E. Forster

Oct 5, 1995

English

Hardcover (176 pages)

Want To Read

Book 32

Geometric Stability Theory

by Anand Pillay

Nov 7, 1996

English

Hardcover (372 pages)

Want To Read

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

by Anand Pillay

Jan 10, 2010

English

eBook (361 pages)

Want To Read

Book 33

Labelled Deductive Systems (Vol. 1)

by Dov M. Gabbay

Nov 14, 1996

English

Hardcover (512 pages)

Edition: 1

Want To Read

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

by Dov M. Gabbay

Jan 1, 1996

English

eBook (512 pages)

Want To Read

Book 34

Set Theory and the Continuum Problem

by Raymond M. Smullyan, Melvin Fitting

Nov 14, 1996

English

Hardcover (302 pages)

Want To Read

Book 35

Modal Logic

by Alexander Chagrov, Michael Zakharyaschev

Jun 19, 1997

English

Hardcover (620 pages)

Want To Read

Book 36

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

by Giovanni Sambin, Jan Smith

Jan 10, 2010

English

eBook (283 pages)

Want To Read

Book 37

Model Theory

by Maria Manzano, Ruy J.G.B. de Queiroz

Jul 8, 1999

English

Hardcover (264 pages)

Want To Read

Book 38

Fibring Logics

by Dov M. Gabbay

Dec 24, 1998

English

Hardcover (496 pages)

Edition: 1

Want To Read

Book 39

Elements of Intuitionism

by Michael Dummett

Aug 17, 2000

English

Hardcover (344 pages)

Want To Read

Book 40

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

by Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger

May 15, 2000

English

Hardcover (597 pages)

Edition: 1

Want To Read

Book 41

Algebraic Methods in Philosophical Logic

by J. Michael Dunn

Aug 30, 2001

English

Hardcover (488 pages)

Edition: 1

Want To Read

Book 42

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

by Hans Rott

Dec 13, 2001

English

Hardcover (368 pages)

Want To Read

Book 43

Sketches of an Elephant

by P.T. Johnstone

Jun 30, 2002

English

Hardcover (1,600 pages)

Want To Read

Sketches of an Elephant: A Topos Theory Compendium: 2 Volume Set (Oxford Logic Guides)

by P. T. Johnstone

English

Hardcover

Want To Read

Book 44

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

by Peter Johnstone

Nov 21, 2002

English

Hardcover (568 pages)

Edition: 1

Want To Read

Sketches of an Elephant: v.2: A Topos Theory Compendium

by Peter Johnstone

English

Paperback

Want To Read

Book 45

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

by David J. Pym, Eike Ritter

Jan 1, 2004

English

Kindle (232 pages)

Edition: 1

Want To Read

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

by David J. Pym, Eike Ritter

Jan 10, 2010

English

eBook (208 pages)

Want To Read

Book 46

Interpolation and Definability: Modal and Intuitionistic Logics

by Dov M. Gabbay, Larisa Maksimova

May 12, 2005

English

Kindle (522 pages)

Want To Read

Book 47

Set Theory: Boolean-Valued Models and Independence Proofs

by J. L. Bell

Jan 1, 2011

English

Kindle (191 pages)

Edition: 3

Want To Read

Book 48

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

by Laura Crosilla

Dec 8, 2005

English

Hardcover (372 pages)

Want To Read

Book 50

The Structure of Models of Peano Arithmetic

by Roman Kossak, Jim Schmerl

Sep 14, 2006

English

Hardcover (328 pages)

Want To Read

Book 51

Computability and Randomness

by André Nies

Mar 29, 2012

English

Kindle (918 pages)

Want To Read

Book 52

Category Theory

by Steve Awodey

Jul 27, 2006

English

Hardcover (270 pages)

Want To Read

Book 43-44

Sketches of an Elephant: A Topos Theory Compendium

by Peter T. Johnstone

Jul 17, 2003

English

Hardcover (1,288 pages)

Want To Read