Oxford Logic Guides Libros

Libro 21

Elementary Categories, Elementary Toposes

por Colin McLarty

feb. 1, 1996

Inglés

Kindle (280 páginas)

Quiero leer

Libro 22

Recursion Theory for Metamathematics

por Raymond M. Smullyan

ene. 28, 1993

Inglés

Tapa dura (184 páginas)

Quiero leer

Libro 23

Arithmetic, Proof Theory, and Computational Complexity

por Peter Clote

jun. 10, 1993

Inglés

Tapa dura (442 páginas)

Quiero leer

Libro 24

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

por Jan Tarski

ene. 1, 1994

Inglés

Libro electrónico

Quiero leer

Libro 25

Many-Valued Logics

por Grzegorz Malinowski

ene. 27, 1994

Inglés

Tapa dura (138 páginas)

Quiero leer

Libro 26

Groups of Finite Morley Rank

por Alexandre V. Borovik

ene. 19, 1995

Inglés

Tapa dura (426 páginas)

Quiero leer

Libro 27

Diagonalization and Self-Reference

por Raymond M. Smullyan

oct. 13, 1994

Inglés

Tapa dura (412 páginas)

Quiero leer

Libro 28

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

por Dov M. Gabbay, Mark A. Reynolds

ago. 25, 1994

Inglés

Tapa dura (668 páginas)

Quiero leer

Libro 29

Cardinal Arithmetic

por Saharon Shelah

dic. 29, 1994

Inglés

Tapa dura (512 páginas)

Quiero leer

Libro 30

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

por Erik Sandewall

feb. 9, 1995

Inglés

Tapa dura (346 páginas)

Quiero leer

Libro 31

Set Theory with a Universal Set: Exploring an Untyped Universe

por T.E. Forster

oct. 5, 1995

Inglés

Tapa dura (176 páginas)

Quiero leer

Libro 32

Geometric Stability Theory

por Anand Pillay

nov. 7, 1996

Inglés

Tapa dura (372 páginas)

Quiero leer

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

por Anand Pillay

ene. 10, 2010

Inglés

Libro electrónico (361 páginas)

Quiero leer

Libro 33

Labelled Deductive Systems (Vol. 1)

por Dov M. Gabbay

nov. 14, 1996

Inglés

Tapa dura (512 páginas)

Edición: 1

Quiero leer

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

por Dov M. Gabbay

ene. 1, 1996

Inglés

Libro electrónico (512 páginas)

Quiero leer

Libro 34

Set Theory and the Continuum Problem

por Raymond M. Smullyan, Melvin Fitting

nov. 14, 1996

Inglés

Tapa dura (302 páginas)

Quiero leer

Libro 35

Modal Logic

por Alexander Chagrov, Michael Zakharyaschev

jun. 19, 1997

Inglés

Tapa dura (620 páginas)

Quiero leer

Libro 36

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

por Giovanni Sambin, Jan Smith

ene. 10, 2010

Inglés

Libro electrónico (283 páginas)

Quiero leer

Libro 37

Model Theory

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

jul. 8, 1999

Inglés

Tapa dura (264 páginas)

Quiero leer

Libro 38

Fibring Logics

por Dov M. Gabbay

dic. 24, 1998

Inglés

Tapa dura (496 páginas)

Edición: 1

Quiero leer

Libro 39

Elements of Intuitionism

por Michael Dummett

ago. 17, 2000

Inglés

Tapa dura (344 páginas)

Quiero leer

Libro 40

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

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

may. 15, 2000

Inglés

Tapa dura (597 páginas)

Edición: 1

Quiero leer

Libro 41

Algebraic Methods in Philosophical Logic

por J. Michael Dunn

ago. 30, 2001

Inglés

Tapa dura (488 páginas)

Edición: 1

Quiero leer

Libro 42

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

por Hans Rott

dic. 13, 2001

Inglés

Tapa dura (368 páginas)

Quiero leer

Libro 43

Sketches of an Elephant

por P.T. Johnstone

jun. 30, 2002

Inglés

Tapa dura (1,600 páginas)

Quiero leer

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

por P. T. Johnstone

Inglés

Tapa dura

Quiero leer

Libro 44

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

por Peter Johnstone

nov. 21, 2002

Inglés

Tapa dura (568 páginas)

Edición: 1

Quiero leer

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

por Peter Johnstone

Inglés

Tapa blanda

Quiero leer

Libro 45

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

por David J. Pym, Eike Ritter

ene. 1, 2004

Inglés

Kindle (232 páginas)

Edición: 1

Quiero leer

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

por David J. Pym, Eike Ritter

ene. 10, 2010

Inglés

Libro electrónico (208 páginas)

Quiero leer

Libro 46

Interpolation and Definability: Modal and Intuitionistic Logics

por Dov M. Gabbay, Larisa Maksimova

may. 12, 2005

Inglés

Kindle (522 páginas)

Quiero leer

Libro 47

Set Theory: Boolean-Valued Models and Independence Proofs

por J. L. Bell

ene. 1, 2011

Inglés

Kindle (191 páginas)

Edición: 3

Quiero leer

Libro 48

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

por Laura Crosilla

dic. 8, 2005

Inglés

Tapa dura (372 páginas)

Quiero leer

Libro 50

The Structure of Models of Peano Arithmetic

por Roman Kossak, Jim Schmerl

sep. 14, 2006

Inglés

Tapa dura (328 páginas)

Quiero leer

Libro 51

Computability and Randomness

por André Nies

mar. 29, 2012

Inglés

Kindle (918 páginas)

Quiero leer

Libro 52

Category Theory

por Steve Awodey

jul. 27, 2006

Inglés

Tapa dura (270 páginas)

Quiero leer

Libro 43-44

Sketches of an Elephant: A Topos Theory Compendium

por Peter T. Johnstone

jul. 17, 2003

Inglés

Tapa dura (1,288 páginas)

Quiero leer