Oxford Logic Guides Livres

Livre 21

Elementary Categories, Elementary Toposes

par Colin McLarty

févr. 1, 1996

Anglais

Kindle (280 pages)

Envie de lire

Livre 22

Recursion Theory for Metamathematics

par Raymond M. Smullyan

janv. 28, 1993

Anglais

Relié (184 pages)

Envie de lire

Livre 23

Arithmetic, Proof Theory, and Computational Complexity

par Peter Clote

juin 10, 1993

Anglais

Relié (442 pages)

Envie de lire

Livre 24

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

par Jan Tarski

janv. 1, 1994

Anglais

livre numérique

Envie de lire

Livre 25

Many-Valued Logics

par Grzegorz Malinowski

janv. 27, 1994

Anglais

Relié (138 pages)

Envie de lire

Livre 26

Groups of Finite Morley Rank

par Alexandre V. Borovik

janv. 19, 1995

Anglais

Relié (426 pages)

Envie de lire

Livre 27

Diagonalization and Self-Reference

par Raymond M. Smullyan

oct. 13, 1994

Anglais

Relié (412 pages)

Envie de lire

Livre 28

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

par Dov M. Gabbay, Mark A. Reynolds

août 25, 1994

Anglais

Relié (668 pages)

Envie de lire

Livre 29

Cardinal Arithmetic

par Saharon Shelah

déc. 29, 1994

Anglais

Relié (512 pages)

Envie de lire

Livre 30

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

par Erik Sandewall

févr. 9, 1995

Anglais

Relié (346 pages)

Envie de lire

Livre 31

Set Theory with a Universal Set: Exploring an Untyped Universe

par T.E. Forster

oct. 5, 1995

Anglais

Relié (176 pages)

Envie de lire

Livre 32

Geometric Stability Theory

par Anand Pillay

nov. 7, 1996

Anglais

Relié (372 pages)

Envie de lire

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

par Anand Pillay

janv. 10, 2010

Anglais

livre numérique (361 pages)

Envie de lire

Livre 33

Labelled Deductive Systems (Vol. 1)

par Dov M. Gabbay

nov. 14, 1996

Anglais

Relié (512 pages)

Édition: 1

Envie de lire

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

par Dov M. Gabbay

janv. 1, 1996

Anglais

livre numérique (512 pages)

Envie de lire

Livre 34

Set Theory and the Continuum Problem

par Raymond M. Smullyan, Melvin Fitting

nov. 14, 1996

Anglais

Relié (302 pages)

Envie de lire

Livre 35

Modal Logic

par Alexander Chagrov, Michael Zakharyaschev

juin 19, 1997

Anglais

Relié (620 pages)

Envie de lire

Livre 36

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

par Giovanni Sambin, Jan Smith

janv. 10, 2010

Anglais

livre numérique (283 pages)

Envie de lire

Livre 37

Model Theory

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

juil. 8, 1999

Anglais

Relié (264 pages)

Envie de lire

Livre 38

Fibring Logics

par Dov M. Gabbay

déc. 24, 1998

Anglais

Relié (496 pages)

Édition: 1

Envie de lire

Livre 39

Elements of Intuitionism

par Michael Dummett

août 17, 2000

Anglais

Relié (344 pages)

Envie de lire

Livre 40

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

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

mai 15, 2000

Anglais

Relié (597 pages)

Édition: 1

Envie de lire

Livre 41

Algebraic Methods in Philosophical Logic

par J. Michael Dunn

août 30, 2001

Anglais

Relié (488 pages)

Édition: 1

Envie de lire

Livre 42

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

par Hans Rott

déc. 13, 2001

Anglais

Relié (368 pages)

Envie de lire

Livre 43

Sketches of an Elephant

par P.T. Johnstone

juin 30, 2002

Anglais

Relié (1,600 pages)

Envie de lire

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

par P. T. Johnstone

Anglais

Relié

Envie de lire

Livre 44

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

par Peter Johnstone

nov. 21, 2002

Anglais

Relié (568 pages)

Édition: 1

Envie de lire

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

par Peter Johnstone

Anglais

Broché

Envie de lire

Livre 45

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

par David J. Pym, Eike Ritter

janv. 1, 2004

Anglais

Kindle (232 pages)

Édition: 1

Envie de lire

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

par David J. Pym, Eike Ritter

janv. 10, 2010

Anglais

livre numérique (208 pages)

Envie de lire

Livre 46

Interpolation and Definability: Modal and Intuitionistic Logics

par Dov M. Gabbay, Larisa Maksimova

mai 12, 2005

Anglais

Kindle (522 pages)

Envie de lire

Livre 47

Set Theory: Boolean-Valued Models and Independence Proofs

par J. L. Bell

janv. 1, 2011

Anglais

Kindle (191 pages)

Édition: 3

Envie de lire

Livre 48

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

par Laura Crosilla

déc. 8, 2005

Anglais

Relié (372 pages)

Envie de lire

Livre 50

The Structure of Models of Peano Arithmetic

par Roman Kossak, Jim Schmerl

sept. 14, 2006

Anglais

Relié (328 pages)

Envie de lire

Livre 51

Computability and Randomness

par André Nies

mars 29, 2012

Anglais

Kindle (918 pages)

Envie de lire

Livre 52

Category Theory

par Steve Awodey

juil. 27, 2006

Anglais

Relié (270 pages)

Envie de lire

Livre 43-44

Sketches of an Elephant: A Topos Theory Compendium

par Peter T. Johnstone

juil. 17, 2003

Anglais

Relié (1,288 pages)

Envie de lire