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 صفحات)

أرغب في القراءة