Oxford Logic Guides Livros

Livro 21

Elementary Categories, Elementary Toposes

por Colin McLarty

fev 1, 1996

Inglês

Kindle (280 páginas)

Quero Ler

Livro 22

Recursion Theory for Metamathematics

por Raymond M. Smullyan

jan 28, 1993

Inglês

Capa dura (184 páginas)

Quero Ler

Livro 23

Arithmetic, Proof Theory, and Computational Complexity

por Peter Clote

jun 10, 1993

Inglês

Capa dura (442 páginas)

Quero Ler

Livro 24

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

por Jan Tarski

jan 1, 1994

Inglês

eBook

Quero Ler

Livro 25

Many-Valued Logics

por Grzegorz Malinowski

jan 27, 1994

Inglês

Capa dura (138 páginas)

Quero Ler

Livro 26

Groups of Finite Morley Rank

por Alexandre V. Borovik

jan 19, 1995

Inglês

Capa dura (426 páginas)

Quero Ler

Livro 27

Diagonalization and Self-Reference

por Raymond M. Smullyan

out 13, 1994

Inglês

Capa dura (412 páginas)

Quero Ler

Livro 28

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

por Dov M. Gabbay, Mark A. Reynolds

ago 25, 1994

Inglês

Capa dura (668 páginas)

Quero Ler

Livro 29

Cardinal Arithmetic

por Saharon Shelah

dez 29, 1994

Inglês

Capa dura (512 páginas)

Quero Ler

Livro 30

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

por Erik Sandewall

fev 9, 1995

Inglês

Capa dura (346 páginas)

Quero Ler

Livro 31

Set Theory with a Universal Set: Exploring an Untyped Universe

por T.E. Forster

out 5, 1995

Inglês

Capa dura (176 páginas)

Quero Ler

Livro 32

Geometric Stability Theory

por Anand Pillay

nov 7, 1996

Inglês

Capa dura (372 páginas)

Quero Ler

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

por Anand Pillay

jan 10, 2010

Inglês

eBook (361 páginas)

Quero Ler

Livro 33

Labelled Deductive Systems (Vol. 1)

por Dov M. Gabbay

nov 14, 1996

Inglês

Capa dura (512 páginas)

Edição: 1

Quero Ler

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

por Dov M. Gabbay

jan 1, 1996

Inglês

eBook (512 páginas)

Quero Ler

Livro 34

Set Theory and the Continuum Problem

por Raymond M. Smullyan, Melvin Fitting

nov 14, 1996

Inglês

Capa dura (302 páginas)

Quero Ler

Livro 35

Modal Logic

por Alexander Chagrov, Michael Zakharyaschev

jun 19, 1997

Inglês

Capa dura (620 páginas)

Quero Ler

Livro 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

jan 10, 2010

Inglês

eBook (283 páginas)

Quero Ler

Livro 37

Model Theory

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

jul 8, 1999

Inglês

Capa dura (264 páginas)

Quero Ler

Livro 38

Fibring Logics

por Dov M. Gabbay

dez 24, 1998

Inglês

Capa dura (496 páginas)

Edição: 1

Quero Ler

Livro 39

Elements of Intuitionism

por Michael Dummett

ago 17, 2000

Inglês

Capa dura (344 páginas)

Quero Ler

Livro 40

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

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

mai 15, 2000

Inglês

Capa dura (597 páginas)

Edição: 1

Quero Ler

Livro 41

Algebraic Methods in Philosophical Logic

por J. Michael Dunn

ago 30, 2001

Inglês

Capa dura (488 páginas)

Edição: 1

Quero Ler

Livro 42

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

por Hans Rott

dez 13, 2001

Inglês

Capa dura (368 páginas)

Quero Ler

Livro 43

Sketches of an Elephant

por P.T. Johnstone

jun 30, 2002

Inglês

Capa dura (1,600 páginas)

Quero Ler

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

por P. T. Johnstone

Inglês

Capa dura

Quero Ler

Livro 44

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

por Peter Johnstone

nov 21, 2002

Inglês

Capa dura (568 páginas)

Edição: 1

Quero Ler

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

por Peter Johnstone

Inglês

Brochura

Quero Ler

Livro 45

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

por David J. Pym, Eike Ritter

jan 1, 2004

Inglês

Kindle (232 páginas)

Edição: 1

Quero Ler

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

por David J. Pym, Eike Ritter

jan 10, 2010

Inglês

eBook (208 páginas)

Quero Ler

Livro 46

Interpolation and Definability: Modal and Intuitionistic Logics

por Dov M. Gabbay, Larisa Maksimova

mai 12, 2005

Inglês

Kindle (522 páginas)

Quero Ler

Livro 47

Set Theory: Boolean-Valued Models and Independence Proofs

por J. L. Bell

jan 1, 2011

Inglês

Kindle (191 páginas)

Edição: 3

Quero Ler

Livro 48

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

por Laura Crosilla

dez 8, 2005

Inglês

Capa dura (372 páginas)

Quero Ler

Livro 50

The Structure of Models of Peano Arithmetic

por Roman Kossak, Jim Schmerl

set 14, 2006

Inglês

Capa dura (328 páginas)

Quero Ler

Livro 51

Computability and Randomness

por André Nies

mar 29, 2012

Inglês

Kindle (918 páginas)

Quero Ler

Livro 52

Category Theory

por Steve Awodey

jul 27, 2006

Inglês

Capa dura (270 páginas)

Quero Ler

Livro 43-44

Sketches of an Elephant: A Topos Theory Compendium

por Peter T. Johnstone

jul 17, 2003

Inglês

Capa dura (1,288 páginas)

Quero Ler