Oxford Logic Guides 书籍

书籍 21

Elementary Categories, Elementary Toposes

由 Colin McLarty

2月 1, 1996

英语

Kindle (280 页)

想要阅读

书籍 22

Recursion Theory for Metamathematics

由 Raymond M. Smullyan

1月 28, 1993

英语

精装书 (184 页)

想要阅读

书籍 23

Arithmetic, Proof Theory, and Computational Complexity

由 Peter Clote

6月 10, 1993

英语

精装书 (442 页)

想要阅读

书籍 24

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

由 Jan Tarski

1月 1, 1994

英语

电子书

想要阅读

书籍 25

Many-Valued Logics

由 Grzegorz Malinowski

1月 27, 1994

英语

精装书 (138 页)

想要阅读

书籍 26

Groups of Finite Morley Rank

由 Alexandre V. Borovik

1月 19, 1995

英语

精装书 (426 页)

想要阅读

书籍 27

Diagonalization and Self-Reference

由 Raymond M. Smullyan

10月 13, 1994

英语

精装书 (412 页)

想要阅读

书籍 28

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

由 Dov M. Gabbay, Mark A. Reynolds

8月 25, 1994

英语

精装书 (668 页)

想要阅读

书籍 29

Cardinal Arithmetic

由 Saharon Shelah

12月 29, 1994

英语

精装书 (512 页)

想要阅读

书籍 30

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

由 Erik Sandewall

2月 9, 1995

英语

精装书 (346 页)

想要阅读

书籍 31

Set Theory with a Universal Set: Exploring an Untyped Universe

由 T.E. Forster

10月 5, 1995

英语

精装书 (176 页)

想要阅读

书籍 32

Geometric Stability Theory

由 Anand Pillay

11月 7, 1996

英语

精装书 (372 页)

想要阅读

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

由 Anand Pillay

1月 10, 2010

英语

电子书 (361 页)

想要阅读

书籍 33

Labelled Deductive Systems (Vol. 1)

由 Dov M. Gabbay

11月 14, 1996

英语

精装书 (512 页)

版本: 1

想要阅读

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

由 Dov M. Gabbay

1月 1, 1996

英语

电子书 (512 页)

想要阅读

书籍 34

Set Theory and the Continuum Problem

由 Raymond M. Smullyan, Melvin Fitting

11月 14, 1996

英语

精装书 (302 页)

想要阅读

书籍 35

Modal Logic

由 Alexander Chagrov, Michael Zakharyaschev

6月 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

1月 10, 2010

英语

电子书 (283 页)

想要阅读

书籍 37

Model Theory

由 Maria Manzano, Ruy J.G.B. de Queiroz

7月 8, 1999

英语

精装书 (264 页)

想要阅读

书籍 38

Fibring Logics

由 Dov M. Gabbay

12月 24, 1998

英语

精装书 (496 页)

版本: 1

想要阅读

书籍 39

Elements of Intuitionism

由 Michael Dummett

8月 17, 2000

英语

精装书 (344 页)

想要阅读

书籍 40

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

由 Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger

5月 15, 2000

英语

精装书 (597 页)

版本: 1

想要阅读

书籍 41

Algebraic Methods in Philosophical Logic

由 J. Michael Dunn

8月 30, 2001

英语

精装书 (488 页)

版本: 1

想要阅读

书籍 42

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

由 Hans Rott

12月 13, 2001

英语

精装书 (368 页)

想要阅读

书籍 43

Sketches of an Elephant

由 P.T. Johnstone

6月 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

11月 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月 1, 2004

英语

Kindle (232 页)

版本: 1

想要阅读

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

由 David J. Pym, Eike Ritter

1月 10, 2010

英语

电子书 (208 页)

想要阅读

书籍 46

Interpolation and Definability: Modal and Intuitionistic Logics

由 Dov M. Gabbay, Larisa Maksimova

5月 12, 2005

英语

Kindle (522 页)

想要阅读

书籍 47

Set Theory: Boolean-Valued Models and Independence Proofs

由 J. L. Bell

1月 1, 2011

英语

Kindle (191 页)

版本: 3

想要阅读

书籍 48

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

由 Laura Crosilla

12月 8, 2005

英语

精装书 (372 页)

想要阅读

书籍 50

The Structure of Models of Peano Arithmetic

由 Roman Kossak, Jim Schmerl

9月 14, 2006

英语

精装书 (328 页)

想要阅读

书籍 51

Computability and Randomness

由 André Nies

3月 29, 2012

英语

Kindle (918 页)

想要阅读

书籍 52

Category Theory

由 Steve Awodey

7月 27, 2006

英语

精装书 (270 页)

想要阅读

书籍 43-44

Sketches of an Elephant: A Topos Theory Compendium

由 Peter T. Johnstone

7月 17, 2003

英语

精装书 (1,288 页)

想要阅读