Oxford Logic Guides Книги

Книга 21

Elementary Categories, Elementary Toposes

от Colin McLarty

фев 1, 1996

Английский

Kindle (280 страниц)

Хочу прочитать

Книга 22

Recursion Theory for Metamathematics

от Raymond M. Smullyan

янв 28, 1993

Английский

Твердый переплет (184 страниц)

Хочу прочитать

Книга 23

Arithmetic, Proof Theory, and Computational Complexity

от Peter Clote

июн 10, 1993

Английский

Твердый переплет (442 страниц)

Хочу прочитать

Книга 24

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

от Jan Tarski

янв 1, 1994

Английский

электронная книга

Хочу прочитать

Книга 25

Many-Valued Logics

от Grzegorz Malinowski

янв 27, 1994

Английский

Твердый переплет (138 страниц)

Хочу прочитать

Книга 26

Groups of Finite Morley Rank

от Alexandre V. Borovik

янв 19, 1995

Английский

Твердый переплет (426 страниц)

Хочу прочитать

Книга 27

Diagonalization and Self-Reference

от Raymond M. Smullyan

окт 13, 1994

Английский

Твердый переплет (412 страниц)

Хочу прочитать

Книга 28

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

от Dov M. Gabbay, Mark A. Reynolds

авг 25, 1994

Английский

Твердый переплет (668 страниц)

Хочу прочитать

Книга 29

Cardinal Arithmetic

от Saharon Shelah

дек 29, 1994

Английский

Твердый переплет (512 страниц)

Хочу прочитать

Книга 30

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

от Erik Sandewall

фев 9, 1995

Английский

Твердый переплет (346 страниц)

Хочу прочитать

Книга 31

Set Theory with a Universal Set: Exploring an Untyped Universe

от T.E. Forster

окт 5, 1995

Английский

Твердый переплет (176 страниц)

Хочу прочитать

Книга 32

Geometric Stability Theory

от Anand Pillay

ноя 7, 1996

Английский

Твердый переплет (372 страниц)

Хочу прочитать

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

от Anand Pillay

янв 10, 2010

Английский

электронная книга (361 страниц)

Хочу прочитать

Книга 33

Labelled Deductive Systems (Vol. 1)

от Dov M. Gabbay

ноя 14, 1996

Английский

Твердый переплет (512 страниц)

Издание: 1

Хочу прочитать

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

от Dov M. Gabbay

янв 1, 1996

Английский

электронная книга (512 страниц)

Хочу прочитать

Книга 34

Set Theory and the Continuum Problem

от Raymond M. Smullyan, Melvin Fitting

ноя 14, 1996

Английский

Твердый переплет (302 страниц)

Хочу прочитать

Книга 35

Modal Logic

от Alexander Chagrov, Michael Zakharyaschev

июн 19, 1997

Английский

Твердый переплет (620 страниц)

Хочу прочитать

Книга 36

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

от Giovanni Sambin, Jan Smith

янв 10, 2010

Английский

электронная книга (283 страниц)

Хочу прочитать

Книга 37

Model Theory

от Maria Manzano, Ruy J.G.B. de Queiroz

июл 8, 1999

Английский

Твердый переплет (264 страниц)

Хочу прочитать

Книга 38

Fibring Logics

от Dov M. Gabbay

дек 24, 1998

Английский

Твердый переплет (496 страниц)

Издание: 1

Хочу прочитать

Книга 39

Elements of Intuitionism

от Michael Dummett

авг 17, 2000

Английский

Твердый переплет (344 страниц)

Хочу прочитать

Книга 40

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

от Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger

май 15, 2000

Английский

Твердый переплет (597 страниц)

Издание: 1

Хочу прочитать

Книга 41

Algebraic Methods in Philosophical Logic

от J. Michael Dunn

авг 30, 2001

Английский

Твердый переплет (488 страниц)

Издание: 1

Хочу прочитать

Книга 42

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

от Hans Rott

дек 13, 2001

Английский

Твердый переплет (368 страниц)

Хочу прочитать

Книга 43

Sketches of an Elephant

от P.T. Johnstone

июн 30, 2002

Английский

Твердый переплет (1,600 страниц)

Хочу прочитать

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

от P. T. Johnstone

Английский

Твердый переплет

Хочу прочитать

Книга 44

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

от Peter Johnstone

ноя 21, 2002

Английский

Твердый переплет (568 страниц)

Издание: 1

Хочу прочитать

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

от Peter Johnstone

Английский

Мягкая обложка

Хочу прочитать

Книга 45

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

от David J. Pym, Eike Ritter

янв 1, 2004

Английский

Kindle (232 страниц)

Издание: 1

Хочу прочитать

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

от David J. Pym, Eike Ritter

янв 10, 2010

Английский

электронная книга (208 страниц)

Хочу прочитать

Книга 46

Interpolation and Definability: Modal and Intuitionistic Logics

от Dov M. Gabbay, Larisa Maksimova

май 12, 2005

Английский

Kindle (522 страниц)

Хочу прочитать

Книга 47

Set Theory: Boolean-Valued Models and Independence Proofs

от J. L. Bell

янв 1, 2011

Английский

Kindle (191 страниц)

Издание: 3

Хочу прочитать

Книга 48

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

от Laura Crosilla

дек 8, 2005

Английский

Твердый переплет (372 страниц)

Хочу прочитать

Книга 50

The Structure of Models of Peano Arithmetic

от Roman Kossak, Jim Schmerl

сен 14, 2006

Английский

Твердый переплет (328 страниц)

Хочу прочитать

Книга 51

Computability and Randomness

от André Nies

мар 29, 2012

Английский

Kindle (918 страниц)

Хочу прочитать

Книга 52

Category Theory

от Steve Awodey

июл 27, 2006

Английский

Твердый переплет (270 страниц)

Хочу прочитать

Книга 43-44

Sketches of an Elephant: A Topos Theory Compendium

от Peter T. Johnstone

июл 17, 2003

Английский

Твердый переплет (1,288 страниц)

Хочу прочитать