Oxford Logic Guides Böcker

Bok 21

Elementary Categories, Elementary Toposes

av Colin McLarty

feb 1, 1996

Engelska

Kindle (280 sidor)

Vill läsa

Bok 22

Recursion Theory for Metamathematics

av Raymond M. Smullyan

jan 28, 1993

Engelska

Inbunden (184 sidor)

Vill läsa

Bok 23

Arithmetic, Proof Theory, and Computational Complexity

av Peter Clote

jun 10, 1993

Engelska

Inbunden (442 sidor)

Vill läsa

Bok 24

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

av Jan Tarski

jan 1, 1994

Engelska

e-bok

Vill läsa

Bok 25

Many-Valued Logics

av Grzegorz Malinowski

jan 27, 1994

Engelska

Inbunden (138 sidor)

Vill läsa

Bok 26

Groups of Finite Morley Rank

av Alexandre V. Borovik

jan 19, 1995

Engelska

Inbunden (426 sidor)

Vill läsa

Bok 27

Diagonalization and Self-Reference

av Raymond M. Smullyan

okt 13, 1994

Engelska

Inbunden (412 sidor)

Vill läsa

Bok 28

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

av Dov M. Gabbay, Mark A. Reynolds

aug 25, 1994

Engelska

Inbunden (668 sidor)

Vill läsa

Bok 29

Cardinal Arithmetic

av Saharon Shelah

dec 29, 1994

Engelska

Inbunden (512 sidor)

Vill läsa

Bok 30

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

av Erik Sandewall

feb 9, 1995

Engelska

Inbunden (346 sidor)

Vill läsa

Bok 31

Set Theory with a Universal Set: Exploring an Untyped Universe

av T.E. Forster

okt 5, 1995

Engelska

Inbunden (176 sidor)

Vill läsa

Bok 32

Geometric Stability Theory

av Anand Pillay

nov 7, 1996

Engelska

Inbunden (372 sidor)

Vill läsa

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

av Anand Pillay

jan 10, 2010

Engelska

e-bok (361 sidor)

Vill läsa

Bok 33

Labelled Deductive Systems (Vol. 1)

av Dov M. Gabbay

nov 14, 1996

Engelska

Inbunden (512 sidor)

Utgåva: 1

Vill läsa

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

av Dov M. Gabbay

jan 1, 1996

Engelska

e-bok (512 sidor)

Vill läsa

Bok 34

Set Theory and the Continuum Problem

av Raymond M. Smullyan, Melvin Fitting

nov 14, 1996

Engelska

Inbunden (302 sidor)

Vill läsa

Bok 35

Modal Logic

av Alexander Chagrov, Michael Zakharyaschev

jun 19, 1997

Engelska

Inbunden (620 sidor)

Vill läsa

Bok 36

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

av Giovanni Sambin, Jan Smith

jan 10, 2010

Engelska

e-bok (283 sidor)

Vill läsa

Bok 37

Model Theory

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

jul 8, 1999

Engelska

Inbunden (264 sidor)

Vill läsa

Bok 38

Fibring Logics

av Dov M. Gabbay

dec 24, 1998

Engelska

Inbunden (496 sidor)

Utgåva: 1

Vill läsa

Bok 39

Elements of Intuitionism

av Michael Dummett

aug 17, 2000

Engelska

Inbunden (344 sidor)

Vill läsa

Bok 40

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

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

maj 15, 2000

Engelska

Inbunden (597 sidor)

Utgåva: 1

Vill läsa

Bok 41

Algebraic Methods in Philosophical Logic

av J. Michael Dunn

aug 30, 2001

Engelska

Inbunden (488 sidor)

Utgåva: 1

Vill läsa

Bok 42

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

av Hans Rott

dec 13, 2001

Engelska

Inbunden (368 sidor)

Vill läsa

Bok 43

Sketches of an Elephant

av P.T. Johnstone

jun 30, 2002

Engelska

Inbunden (1,600 sidor)

Vill läsa

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

av P. T. Johnstone

Engelska

Inbunden

Vill läsa

Bok 44

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

av Peter Johnstone

nov 21, 2002

Engelska

Inbunden (568 sidor)

Utgåva: 1

Vill läsa

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

av Peter Johnstone

Engelska

Pocketbok

Vill läsa

Bok 45

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

av David J. Pym, Eike Ritter

jan 1, 2004

Engelska

Kindle (232 sidor)

Utgåva: 1

Vill läsa

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

av David J. Pym, Eike Ritter

jan 10, 2010

Engelska

e-bok (208 sidor)

Vill läsa

Bok 46

Interpolation and Definability: Modal and Intuitionistic Logics

av Dov M. Gabbay, Larisa Maksimova

maj 12, 2005

Engelska

Kindle (522 sidor)

Vill läsa

Bok 47

Set Theory: Boolean-Valued Models and Independence Proofs

av J. L. Bell

jan 1, 2011

Engelska

Kindle (191 sidor)

Utgåva: 3

Vill läsa

Bok 48

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

av Laura Crosilla

dec 8, 2005

Engelska

Inbunden (372 sidor)

Vill läsa

Bok 50

The Structure of Models of Peano Arithmetic

av Roman Kossak, Jim Schmerl

sep 14, 2006

Engelska

Inbunden (328 sidor)

Vill läsa

Bok 51

Computability and Randomness

av André Nies

mar 29, 2012

Engelska

Kindle (918 sidor)

Vill läsa

Bok 52

Category Theory

av Steve Awodey

jul 27, 2006

Engelska

Inbunden (270 sidor)

Vill läsa

Bok 43-44

Sketches of an Elephant: A Topos Theory Compendium

av Peter T. Johnstone

jul 17, 2003

Engelska

Inbunden (1,288 sidor)

Vill läsa