Oxford Logic Guides Книги

Книга 21

Elementary Categories, Elementary Toposes

от Colin McLarty

Feb 1, 1996

Английский

Kindle

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

Книга 22

Recursion Theory for Metamathematics

от Raymond M. Smullyan

Jan 28, 1993

Английский

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

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

Книга 23

Arithmetic, Proof Theory, and Computational Complexity

от Peter Clote

Jun 10, 1993

Английский

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

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

Книга 24

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

от Jan Tarski

Jan 1, 1994

Английский

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

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

Книга 25

Many-Valued Logics

от Grzegorz Malinowski

Jan 27, 1994

Английский

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

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

Книга 26

Groups of Finite Morley Rank

от Alexandre V. Borovik

Jan 19, 1995

Английский

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

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

Книга 27

Diagonalization and Self-Reference

от Raymond M. Smullyan

Oct 13, 1994

Английский

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

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

Книга 28

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

от Dov M. Gabbay, Mark A. Reynolds

Aug 25, 1994

Английский

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

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

Книга 29

Cardinal Arithmetic

от Saharon Shelah

Dec 29, 1994

Английский

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

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

Книга 30

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

от Erik Sandewall

Feb 9, 1995

Английский

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

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

Книга 31

Set Theory with a Universal Set: Exploring an Untyped Universe

от T.E. Forster

Oct 5, 1995

Английский

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

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

Книга 32

Geometric Stability Theory

от Anand Pillay

Nov 7, 1996

Английский

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

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

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

от Anand Pillay

Jan 10, 2010

Английский

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

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

Книга 33

Labelled Deductive Systems (Vol. 1)

от Dov M. Gabbay

Nov 14, 1996

Английский

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

Издание: 1

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

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

от Dov M. Gabbay

Jan 1, 1996

Английский

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

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

Книга 34

Set Theory and the Continuum Problem

от Raymond M. Smullyan, Melvin Fitting

Nov 14, 1996

Английский

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

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

Книга 35

Modal Logic

от Alexander Chagrov, Michael Zakharyaschev

Jun 19, 1997

Английский

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

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

Книга 36

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

от Giovanni Sambin, Jan Smith

Jan 10, 2010

Английский

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

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

Книга 37

Model Theory

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

Jul 8, 1999

Английский

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

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

Книга 38

Fibring Logics

от Dov M. Gabbay

Dec 24, 1998

Английский

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

Издание: 1

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

Книга 39

Elements of Intuitionism

от Michael Dummett

Aug 17, 2000

Английский

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

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

Книга 40

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

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

May 15, 2000

Английский

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

Издание: 1

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

Книга 41

Algebraic Methods in Philosophical Logic

от J. Michael Dunn

Aug 30, 2001

Английский

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

Издание: 1

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

Книга 42

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

от Hans Rott

Dec 13, 2001

Английский

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

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

Книга 43

Sketches of an Elephant

от P.T. Johnstone

Jun 30, 2002

Английский

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

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

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

от P.T. Johnstone

Английский

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

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

Книга 44

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

от Peter Johnstone

Nov 21, 2002

Английский

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

Издание: 1

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

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

от Peter Johnstone

Английский

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

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

Книга 45

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

от David J. Pym, Eike Ritter

Jan 1, 2004

Английский

Kindle

Издание: 1

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

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

от David J. Pym, Eike Ritter

Jan 10, 2010

Английский

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

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

Книга 46

Interpolation and Definability: Modal and Intuitionistic Logics

от Dov M. Gabbay, Larisa Maksimova

May 12, 2005

Английский

Kindle

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

Книга 47

Set Theory: Boolean-Valued Models and Independence Proofs

от J. L. Bell

Jan 1, 2011

Английский

Kindle

Издание: 3

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

Книга 48

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

от Laura Crosilla

Dec 8, 2005

Английский

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

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

Книга 50

The Structure of Models of Peano Arithmetic

от Roman Kossak, Jim Schmerl

Sep 14, 2006

Английский

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

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

Книга 51

Computability and Randomness

от André Nies

Mar 29, 2012

Английский

Kindle

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

Книга 52

Category Theory

от Steve Awodey

Jul 27, 2006

Английский

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

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

Книга 43-44

Sketches of an Elephant: A Topos Theory Compendium

от Peter T. Johnstone

Jul 17, 2003

Английский

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

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