Oxford Logic Guides کتاب‌ها

کتاب 21

Elementary Categories, Elementary Toposes

توسط Colin McLarty

Feb 1, 1996

انگلیسی

کیندل

می‌خواهم بخوانم

کتاب 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

انگلیسی

کیندل

نسخه: 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

انگلیسی

کیندل

می‌خواهم بخوانم

کتاب 47

Set Theory: Boolean-Valued Models and Independence Proofs

توسط J. L. Bell

Jan 1, 2011

انگلیسی

کیندل

نسخه: 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

انگلیسی

کیندل

می‌خواهم بخوانم

کتاب 52

Category Theory

توسط Steve Awodey

Jul 27, 2006

انگلیسی

جلد سخت

می‌خواهم بخوانم

کتاب 43-44

Sketches of an Elephant: A Topos Theory Compendium

توسط Peter T. Johnstone

Jul 17, 2003

انگلیسی

جلد سخت

می‌خواهم بخوانم