Oxford Logic Guides Libri

Libro 21

Elementary Categories, Elementary Toposes

di Colin McLarty

feb 1, 1996

Inglese

Kindle (280 pagine)

Voglio Leggere

Libro 22

Recursion Theory for Metamathematics

di Raymond M. Smullyan

gen 28, 1993

Inglese

Copertina rigida (184 pagine)

Voglio Leggere

Libro 23

Arithmetic, Proof Theory, and Computational Complexity

di Peter Clote

giu 10, 1993

Inglese

Copertina rigida (442 pagine)

Voglio Leggere

Libro 24

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

di Jan Tarski

gen 1, 1994

Inglese

eBook

Voglio Leggere

Libro 25

Many-Valued Logics

di Grzegorz Malinowski

gen 27, 1994

Inglese

Copertina rigida (138 pagine)

Voglio Leggere

Libro 26

Groups of Finite Morley Rank

di Alexandre V. Borovik

gen 19, 1995

Inglese

Copertina rigida (426 pagine)

Voglio Leggere

Libro 27

Diagonalization and Self-Reference

di Raymond M. Smullyan

ott 13, 1994

Inglese

Copertina rigida (412 pagine)

Voglio Leggere

Libro 28

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

di Dov M. Gabbay, Mark A. Reynolds

ago 25, 1994

Inglese

Copertina rigida (668 pagine)

Voglio Leggere

Libro 29

Cardinal Arithmetic

di Saharon Shelah

dic 29, 1994

Inglese

Copertina rigida (512 pagine)

Voglio Leggere

Libro 30

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

di Erik Sandewall

feb 9, 1995

Inglese

Copertina rigida (346 pagine)

Voglio Leggere

Libro 31

Set Theory with a Universal Set: Exploring an Untyped Universe

di T.E. Forster

ott 5, 1995

Inglese

Copertina rigida (176 pagine)

Voglio Leggere

Libro 32

Geometric Stability Theory

di Anand Pillay

nov 7, 1996

Inglese

Copertina rigida (372 pagine)

Voglio Leggere

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

di Anand Pillay

gen 10, 2010

Inglese

eBook (361 pagine)

Voglio Leggere

Libro 33

Labelled Deductive Systems (Vol. 1)

di Dov M. Gabbay

nov 14, 1996

Inglese

Copertina rigida (512 pagine)

Edizione: 1

Voglio Leggere

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

di Dov M. Gabbay

gen 1, 1996

Inglese

eBook (512 pagine)

Voglio Leggere

Libro 34

Set Theory and the Continuum Problem

di Raymond M. Smullyan, Melvin Fitting

nov 14, 1996

Inglese

Copertina rigida (302 pagine)

Voglio Leggere

Libro 35

Modal Logic

di Alexander Chagrov, Michael Zakharyaschev

giu 19, 1997

Inglese

Copertina rigida (620 pagine)

Voglio Leggere

Libro 36

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

di Giovanni Sambin, Jan Smith

gen 10, 2010

Inglese

eBook (283 pagine)

Voglio Leggere

Libro 37

Model Theory

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

lug 8, 1999

Inglese

Copertina rigida (264 pagine)

Voglio Leggere

Libro 38

Fibring Logics

di Dov M. Gabbay

dic 24, 1998

Inglese

Copertina rigida (496 pagine)

Edizione: 1

Voglio Leggere

Libro 39

Elements of Intuitionism

di Michael Dummett

ago 17, 2000

Inglese

Copertina rigida (344 pagine)

Voglio Leggere

Libro 40

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

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

mag 15, 2000

Inglese

Copertina rigida (597 pagine)

Edizione: 1

Voglio Leggere

Libro 41

Algebraic Methods in Philosophical Logic

di J. Michael Dunn

ago 30, 2001

Inglese

Copertina rigida (488 pagine)

Edizione: 1

Voglio Leggere

Libro 42

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

di Hans Rott

dic 13, 2001

Inglese

Copertina rigida (368 pagine)

Voglio Leggere

Libro 43

Sketches of an Elephant

di P.T. Johnstone

giu 30, 2002

Inglese

Copertina rigida (1,600 pagine)

Voglio Leggere

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

di P. T. Johnstone

Inglese

Copertina rigida

Voglio Leggere

Libro 44

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

di Peter Johnstone

nov 21, 2002

Inglese

Copertina rigida (568 pagine)

Edizione: 1

Voglio Leggere

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

di Peter Johnstone

Inglese

Brossura

Voglio Leggere

Libro 45

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

di David J. Pym, Eike Ritter

gen 1, 2004

Inglese

Kindle (232 pagine)

Edizione: 1

Voglio Leggere

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

di David J. Pym, Eike Ritter

gen 10, 2010

Inglese

eBook (208 pagine)

Voglio Leggere

Libro 46

Interpolation and Definability: Modal and Intuitionistic Logics

di Dov M. Gabbay, Larisa Maksimova

mag 12, 2005

Inglese

Kindle (522 pagine)

Voglio Leggere

Libro 47

Set Theory: Boolean-Valued Models and Independence Proofs

di J. L. Bell

gen 1, 2011

Inglese

Kindle (191 pagine)

Edizione: 3

Voglio Leggere

Libro 48

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

di Laura Crosilla

dic 8, 2005

Inglese

Copertina rigida (372 pagine)

Voglio Leggere

Libro 50

The Structure of Models of Peano Arithmetic

di Roman Kossak, Jim Schmerl

set 14, 2006

Inglese

Copertina rigida (328 pagine)

Voglio Leggere

Libro 51

Computability and Randomness

di André Nies

mar 29, 2012

Inglese

Kindle (918 pagine)

Voglio Leggere

Libro 52

Category Theory

di Steve Awodey

lug 27, 2006

Inglese

Copertina rigida (270 pagine)

Voglio Leggere

Libro 43-44

Sketches of an Elephant: A Topos Theory Compendium

di Peter T. Johnstone

lug 17, 2003

Inglese

Copertina rigida (1,288 pagine)

Voglio Leggere