Oxford Logic Guides کتاب‌ها

کتاب 21

Elementary Categories, Elementary Toposes

توسط Colin McLarty

فوریه 1, 1996

انگلیسی

کیندل (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

انگلیسی

کیندل (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

انگلیسی

کیندل (522 صفحه)

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

کتاب 47

Set Theory: Boolean-Valued Models and Independence Proofs

توسط J. L. Bell

ژانویه 1, 2011

انگلیسی

کیندل (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

انگلیسی

کیندل (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 صفحه)

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