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

الإنجليزية

غلاف صلب

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