Oxford Logic Guides Bücher

Buch 21

Elementary Categories, Elementary Toposes

von Colin McLarty

Feb 1, 1996

Englisch

Kindle

Will ich lesen

Buch 22

Recursion Theory for Metamathematics

von Raymond M. Smullyan

Jan 28, 1993

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 23

Arithmetic, Proof Theory, and Computational Complexity

von Peter Clote

Jun 10, 1993

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 24

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

von Jan Tarski

Jan 1, 1994

Englisch

E-Book

Will ich lesen

Buch 25

Many-Valued Logics

von Grzegorz Malinowski

Jan 27, 1994

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 26

Groups of Finite Morley Rank

von Alexandre V. Borovik

Jan 19, 1995

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 27

Diagonalization and Self-Reference

von Raymond M. Smullyan

Oct 13, 1994

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 28

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

von Dov M. Gabbay, Mark A. Reynolds

Aug 25, 1994

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 29

Cardinal Arithmetic

von Saharon Shelah

Dec 29, 1994

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 30

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

von Erik Sandewall

Feb 9, 1995

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 31

Set Theory with a Universal Set: Exploring an Untyped Universe

von T.E. Forster

Oct 5, 1995

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 32

Geometric Stability Theory

von Anand Pillay

Nov 7, 1996

Englisch

Gebundene Ausgabe

Will ich lesen

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

von Anand Pillay

Jan 10, 2010

Englisch

E-Book

Will ich lesen

Buch 33

Labelled Deductive Systems (Vol. 1)

von Dov M. Gabbay

Nov 14, 1996

Englisch

Gebundene Ausgabe

Ausgabe: 1

Will ich lesen

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

von Dov M. Gabbay

Jan 1, 1996

Englisch

E-Book

Will ich lesen

Buch 34

Set Theory and the Continuum Problem

von Raymond M. Smullyan, Melvin Fitting

Nov 14, 1996

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 35

Modal Logic

von Alexander Chagrov, Michael Zakharyaschev

Jun 19, 1997

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 36

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

von Giovanni Sambin, Jan Smith

Jan 10, 2010

Englisch

E-Book

Will ich lesen

Buch 37

Model Theory

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

Jul 8, 1999

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 38

Fibring Logics

von Dov M. Gabbay

Dec 24, 1998

Englisch

Gebundene Ausgabe

Ausgabe: 1

Will ich lesen

Buch 39

Elements of Intuitionism

von Michael Dummett

Aug 17, 2000

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 40

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

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

May 15, 2000

Englisch

Gebundene Ausgabe

Ausgabe: 1

Will ich lesen

Buch 41

Algebraic Methods in Philosophical Logic

von J. Michael Dunn

Aug 30, 2001

Englisch

Gebundene Ausgabe

Ausgabe: 1

Will ich lesen

Buch 42

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

von Hans Rott

Dec 13, 2001

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 43

Sketches of an Elephant

von P.T. Johnstone

Jun 30, 2002

Englisch

Gebundene Ausgabe

Will ich lesen

Sketches of an Elephant: A Topos Theory Compendium: 2 Volume Set (Oxford Logic Guides) by Peter T. Johnstone

von P.T. Johnstone

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 44

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

von Peter Johnstone

Nov 21, 2002

Englisch

Gebundene Ausgabe

Ausgabe: 1

Will ich lesen

[(Sketches of an Elephant: v.2: A Topos Theory Compendium )] [Author: Peter T. Johnstone] [Nov-2002]

von Peter Johnstone

Englisch

Taschenbuch

Will ich lesen

Buch 45

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

von David J. Pym, Eike Ritter

Jan 1, 2004

Englisch

Kindle

Ausgabe: 1

Will ich lesen

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

von David J. Pym, Eike Ritter

Jan 10, 2010

Englisch

E-Book

Will ich lesen

Buch 46

Interpolation and Definability: Modal and Intuitionistic Logics

von Dov M. Gabbay, Larisa Maksimova

May 12, 2005

Englisch

Kindle

Will ich lesen

Buch 47

Set Theory: Boolean-Valued Models and Independence Proofs

von J. L. Bell

Jan 1, 2011

Englisch

Kindle

Ausgabe: 3

Will ich lesen

Buch 48

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

von Laura Crosilla

Dec 8, 2005

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 50

The Structure of Models of Peano Arithmetic

von Roman Kossak, Jim Schmerl

Sep 14, 2006

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 51

Computability and Randomness

von André Nies

Mar 29, 2012

Englisch

Kindle

Will ich lesen

Buch 52

Category Theory

von Steve Awodey

Jul 27, 2006

Englisch

Gebundene Ausgabe

Will ich lesen

Buch 43-44

Sketches of an Elephant: A Topos Theory Compendium

von Peter T. Johnstone

Jul 17, 2003

Englisch

Gebundene Ausgabe

Will ich lesen