Oxford Logic Guides

책 시리즈

작성자 Raymond M. Smullyan
최신: 2010

책 21

Elementary Categories, Elementary Toposes

Elementary Categories, Elementary Toposes

작성자 Colin McLarty
Feb 1, 1996
영어
킨들
읽고 싶어요

책 22

Recursion Theory for Metamathematics

Recursion Theory for Metamathematics

작성자 Raymond M. Smullyan
Jan 28, 1993
영어
하드커버
읽고 싶어요

책 23

Arithmetic, Proof Theory, and Computational Complexity

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.

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

Many-Valued Logics

작성자 Grzegorz Malinowski
Jan 27, 1994
영어
하드커버
읽고 싶어요

책 26

Groups of Finite Morley Rank

Groups of Finite Morley Rank

작성자 Alexandre V. Borovik
Jan 19, 1995
영어
하드커버
읽고 싶어요

책 27

Diagonalization and Self-Reference

Diagonalization and Self-Reference

작성자 Raymond M. Smullyan
Oct 13, 1994
영어
하드커버
읽고 싶어요

책 28

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

작성자 Dov M. Gabbay, Mark A. Reynolds
Aug 25, 1994
영어
하드커버
읽고 싶어요

책 29

Cardinal Arithmetic

Cardinal Arithmetic

작성자 Saharon Shelah
Dec 29, 1994
영어
하드커버
읽고 싶어요

책 30

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

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

Set Theory with a Universal Set: Exploring an Untyped Universe

작성자 T.E. Forster
Oct 5, 1995
영어
하드커버
읽고 싶어요

책 32

Geometric Stability Theory

Geometric Stability Theory

작성자 Anand Pillay
Nov 7, 1996
영어
하드커버
읽고 싶어요
Geometric Stability Theory. Oxford Logic Guides, Volume 32.

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

작성자 Anand Pillay
Jan 10, 2010
영어
전자책
읽고 싶어요

책 33

Labelled Deductive Systems (Vol. 1)

Labelled Deductive Systems (Vol. 1)

작성자 Dov M. Gabbay
Nov 14, 1996
영어
하드커버
판: 1
읽고 싶어요
Labelled Deductive Systems: Volume 1. Oxford Logic Guides 33.

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

작성자 Dov M. Gabbay
Jan 1, 1996
영어
전자책
읽고 싶어요

책 34

Set Theory and the Continuum Problem

Set Theory and the Continuum Problem

작성자 Raymond M. Smullyan, Melvin Fitting
Nov 14, 1996
영어
하드커버
읽고 싶어요

책 35

Modal Logic

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.

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

Model Theory

작성자 Maria Manzano, Ruy J.G.B. de Queiroz
Jul 8, 1999
영어
하드커버
읽고 싶어요

책 38

Fibring Logics

Fibring Logics

작성자 Dov M. Gabbay
Dec 24, 1998
영어
하드커버
판: 1
읽고 싶어요

책 39

Elements of Intuitionism

Elements of Intuitionism

작성자 Michael Dummett
Aug 17, 2000
영어
하드커버
읽고 싶어요

책 40

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

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

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

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

작성자 Hans Rott
Dec 13, 2001
영어
하드커버
읽고 싶어요

책 43

Sketches of an Elephant

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

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)

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]

[(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

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.

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

Interpolation and Definability: Modal and Intuitionistic Logics

작성자 Dov M. Gabbay, Larisa Maksimova
May 12, 2005
영어
킨들
읽고 싶어요

책 47

Set Theory: Boolean-Valued Models and Independence Proofs

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

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

The Structure of Models of Peano Arithmetic

작성자 Roman Kossak, Jim Schmerl
Sep 14, 2006
영어
하드커버
읽고 싶어요

책 51

Computability and Randomness

Computability and Randomness

작성자 André Nies
Mar 29, 2012
영어
킨들
읽고 싶어요

책 52

Category Theory

Category Theory

작성자 Steve Awodey
Jul 27, 2006
영어
하드커버
읽고 싶어요

책 43-44

Sketches of an Elephant: A Topos Theory Compendium

Sketches of an Elephant: A Topos Theory Compendium

작성자 Peter T. Johnstone
Jul 17, 2003
영어
하드커버
읽고 싶어요