Oxford Logic Guides Książki

Książka 21

Elementary Categories, Elementary Toposes

przez Colin McLarty

Feb 1, 1996

Angielski

Kindle

Chcę przeczytać

Książka 22

Recursion Theory for Metamathematics

przez Raymond M. Smullyan

Jan 28, 1993

Angielski

Twarda okładka

Chcę przeczytać

Książka 23

Arithmetic, Proof Theory, and Computational Complexity

przez Peter Clote

Jun 10, 1993

Angielski

Twarda okładka

Chcę przeczytać

Książka 24

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

przez Jan Tarski

Jan 1, 1994

Angielski

eBook

Chcę przeczytać

Książka 25

Many-Valued Logics

przez Grzegorz Malinowski

Jan 27, 1994

Angielski

Twarda okładka

Chcę przeczytać

Książka 26

Groups of Finite Morley Rank

przez Alexandre V. Borovik

Jan 19, 1995

Angielski

Twarda okładka

Chcę przeczytać

Książka 27

Diagonalization and Self-Reference

przez Raymond M. Smullyan

Oct 13, 1994

Angielski

Twarda okładka

Chcę przeczytać

Książka 28

Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1

przez Dov M. Gabbay, Mark A. Reynolds

Aug 25, 1994

Angielski

Twarda okładka

Chcę przeczytać

Książka 29

Cardinal Arithmetic

przez Saharon Shelah

Dec 29, 1994

Angielski

Twarda okładka

Chcę przeczytać

Książka 30

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

przez Erik Sandewall

Feb 9, 1995

Angielski

Twarda okładka

Chcę przeczytać

Książka 31

Set Theory with a Universal Set: Exploring an Untyped Universe

przez T.E. Forster

Oct 5, 1995

Angielski

Twarda okładka

Chcę przeczytać

Książka 32

Geometric Stability Theory

przez Anand Pillay

Nov 7, 1996

Angielski

Twarda okładka

Chcę przeczytać

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

przez Anand Pillay

Jan 10, 2010

Angielski

eBook

Chcę przeczytać

Książka 33

Labelled Deductive Systems (Vol. 1)

przez Dov M. Gabbay

Nov 14, 1996

Angielski

Twarda okładka

Wydanie: 1

Chcę przeczytać

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

przez Dov M. Gabbay

Jan 1, 1996

Angielski

eBook

Chcę przeczytać

Książka 34

Set Theory and the Continuum Problem

przez Raymond M. Smullyan, Melvin Fitting

Nov 14, 1996

Angielski

Twarda okładka

Chcę przeczytać

Książka 35

Modal Logic

przez Alexander Chagrov, Michael Zakharyaschev

Jun 19, 1997

Angielski

Twarda okładka

Chcę przeczytać

Książka 36

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.

przez Giovanni Sambin, Jan Smith

Jan 10, 2010

Angielski

eBook

Chcę przeczytać

Książka 37

Model Theory

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

Jul 8, 1999

Angielski

Twarda okładka

Chcę przeczytać

Książka 38

Fibring Logics

przez Dov M. Gabbay

Dec 24, 1998

Angielski

Twarda okładka

Wydanie: 1

Chcę przeczytać

Książka 39

Elements of Intuitionism

przez Michael Dummett

Aug 17, 2000

Angielski

Twarda okładka

Chcę przeczytać

Książka 40

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

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

May 15, 2000

Angielski

Twarda okładka

Wydanie: 1

Chcę przeczytać

Książka 41

Algebraic Methods in Philosophical Logic

przez J. Michael Dunn

Aug 30, 2001

Angielski

Twarda okładka

Wydanie: 1

Chcę przeczytać

Książka 42

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

przez Hans Rott

Dec 13, 2001

Angielski

Twarda okładka

Chcę przeczytać

Książka 43

Sketches of an Elephant

przez P.T. Johnstone

Jun 30, 2002

Angielski

Twarda okładka

Chcę przeczytać

Sketches of an Elephant: A Topos Theory Compendium: 2 Volume Set (Oxford Logic Guides) by Peter T. Johnstone

przez P.T. Johnstone

Angielski

Twarda okładka

Chcę przeczytać

Książka 44

Sketches of an Elephant: A Topos Theory Compendium (Volume 1)

przez Peter Johnstone

Nov 21, 2002

Angielski

Twarda okładka

Wydanie: 1

Chcę przeczytać

[(Sketches of an Elephant: v.2: A Topos Theory Compendium )] [Author: Peter T. Johnstone] [Nov-2002]

przez Peter Johnstone

Angielski

Miękka okładka

Chcę przeczytać

Książka 45

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

przez David J. Pym, Eike Ritter

Jan 1, 2004

Angielski

Kindle

Wydanie: 1

Chcę przeczytać

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

przez David J. Pym, Eike Ritter

Jan 10, 2010

Angielski

eBook

Chcę przeczytać

Książka 46

Interpolation and Definability: Modal and Intuitionistic Logics

przez Dov M. Gabbay, Larisa Maksimova

May 12, 2005

Angielski

Kindle

Chcę przeczytać

Książka 47

Set Theory: Boolean-Valued Models and Independence Proofs

przez J. L. Bell

Jan 1, 2011

Angielski

Kindle

Wydanie: 3

Chcę przeczytać

Książka 48

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

przez Laura Crosilla

Dec 8, 2005

Angielski

Twarda okładka

Chcę przeczytać

Książka 50

The Structure of Models of Peano Arithmetic

przez Roman Kossak, Jim Schmerl

Sep 14, 2006

Angielski

Twarda okładka

Chcę przeczytać

Książka 51

Computability and Randomness

przez André Nies

Mar 29, 2012

Angielski

Kindle

Chcę przeczytać

Książka 52

Category Theory

przez Steve Awodey

Jul 27, 2006

Angielski

Twarda okładka

Chcę przeczytać

Książka 43-44

Sketches of an Elephant: A Topos Theory Compendium

przez Peter T. Johnstone

Jul 17, 2003

Angielski

Twarda okładka

Chcę przeczytać