Filtre: Engleză Tipărit la comandă

Oxford Logic Guides

Cantorian Set Theory and Limitation of Size

Oxford Logic Guides, nr. 10

Autor Michael Hallett

27 noi 1986

Preț: 1204^.09 lei 1828^.60 lei

40-51 zile

-34%

Oxford Logic Guides, nr. 15

Autor Richard Kaye

31 ian 1991

Preț: 1068^.99 lei 1562^.35 lei

40-51 zile

-32%

Relative Category Theory and Geometric Morphisms: A Logical Approach

Oxford Logic Guides, nr. 16

Autor Jonathan Chapman et al.

6 feb 1992

Preț: 256^.99 lei 438^.15 lei

40-51 zile

-41%

Oxford Logic Guides, nr. 18

Autor John P. Cleave

19 dec 1991

Preț: 1239^.17 lei 1880^.12 lei

40-51 zile

-34%

Oxford Logic Guides, nr. 19

Autor Raymond M. Smullyan

22 oct 1992

Preț: 1772^.79 lei 2396^.52 lei

40-51 zile

-26%

Elementary Categories, Elementary Toposes

Oxford Logic Guides, nr. 21

Colin McLarty

27 apr 1995

Preț: 873^.99 lei 1333^.70 lei

40-51 zile

-34%

Oxford Logic Guides, nr. 22

Autor Raymond M. Smullyan

15 iul 1993

Preț: 1125^.88 lei 1708^.19 lei

40-51 zile

-34%

Arithmetic, Proof Theory, and Computational Complexity

Oxford Logic Guides, nr. 23

Editat de Peter Clote et al.

6 mai 1993

Preț: 572^.34 lei 928^.77 lei

40-51 zile

-38%

Oxford Logic Guides, nr. 25

Autor Grzegorz Malinowski

16 dec 1993

Preț: 808^.46 lei 1220^.36 lei

40-51 zile

-34%

Oxford Logic Guides, nr. 26

Autor Alexandre Borovik et al.

dec 1994

Preț: 1087^.07 lei 1733^.80 lei

40-51 zile | 6-12 zile

-37%

Oxford Logic Guides, nr. 27

Autor Raymond M. Smullyan

sep 1994

Preț: 1550^.04 lei 2557^.83 lei

40-51 zile

-39%

Oxford Logic Guides, nr. 28

Autor Dov M. Gabbay et al.

21 iul 1994

Preț: 1854^.42 lei 3211^.23 lei

40-51 zile

-42%

Oxford Logic Guides, nr. 29

Autor Saharon Shelah

17 noi 1994

Preț: 1583^.69 lei 2411^.99 lei

40-51 zile

-34%

Features and Fluents: The Representation of Knowledge about Dynamical Systems, Volume 1

Oxford Logic Guides, nr. 30

Autor Erik Sandewall

5 ian 1995

Preț: 527^.01 lei 1128^.75 lei

40-51 zile

-53%

Set Theory with a Universal Set: Exploring an Untyped Universe

Oxford Logic Guides, nr. 31

Autor T. E. Forster

24 aug 1995

Preț: 492^.16 lei 650^.30 lei

40-51 zile

-24%

Oxford Logic Guides, nr. 32

Autor Anand Pillay

12 sep 1996

Preț: 859^.73 lei 1296^.85 lei

40-51 zile

-34%

Oxford Logic Guides, nr. 33

Autor Dov M. Gabbay

5 sep 1996

Preț: 567^.84 lei 1209^.97 lei

40-51 zile

-53%

Oxford Logic Guides, nr. 35

Autor Alexander Chagrov et al.

27 mar 1997

Preț: 1599^.90 lei 2768^.92 lei

40-51 zile

-42%

Twenty Five Years of Constructive Type Theory

Oxford Logic Guides, nr. 36

Autor Giovanni Sambin et al.

15 oct 1998

Preț: 624^.71 lei 1019^.44 lei

40-51 zile

-39%

Oxford Logic Guides, nr. 37

Autor Maria Manzano et al.

29 apr 1999

Preț: 1203^.80 lei 1984^.15 lei

40-51 zile

-39%

Oxford Logic Guides, nr. 38

Autor Dov M. Gabbay

5 noi 1998

Preț: 764^.05 lei 1261^.85 lei

40-51 zile

-39%

Oxford Logic Guides, nr. 39

Autor Michael Dummett

15 iun 2000

Preț: 1461^.33 lei 2217^.00 lei

40-51 zile

-34%

Oxford Logic Guides, nr. 40

Autor Dov M Gabbay et al.

30 mar 2000

Preț: 1391^.60 lei 2405^.57 lei

40-51 zile

-42%

Algebraic Methods in Philosophical Logic

Oxford Logic Guides, nr. 41

Autor J. Michael Dunn et al.

28 iun 2001

Preț: 1222^.94 lei 1855^.13 lei

40-51 zile

-34%

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

Oxford Logic Guides, nr. 42

Autor Hans Rott

11 oct 2001

Preț: 1220^.69 lei 1853^.74 lei

40-51 zile

-34%

Sketches of an Elephant: A Topos Theory Compendium: Volume 2

Oxford Logic Guides, nr. 44

Autor Peter T. Johnstone

12 sep 2002

Preț: 1877^.35 lei 2852^.76 lei

40-51 zile

-34%

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

Oxford Logic Guides, nr. 45

Autor David J. Pym et al.

29 apr 2004

Preț: 1021^.93 lei 1561^.18 lei

40-51 zile

-35%

Interpolation and Definability: Modal and Intuitionistic Logics

Oxford Logic Guides, nr. 46

Autor Dov M. Gabbay et al.

12 mai 2005

Preț: 1194^.80 lei 1807^.90 lei

40-51 zile

-34%

Set Theory: Boolean-Valued Models and Independence Proofs

Oxford Logic Guides, nr. 47

Autor John L. Bell

5 mai 2011

Preț: 335^.70 lei 397^.07 lei

40-51 zile

-15%

From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

Oxford Logic Guides, nr. 48

Editat de Laura Crosilla et al.

6 oct 2005

Preț: 1236^.02 lei 1878^.18 lei

40-51 zile

-34%

The Structure of Models of Peano Arithmetic

Oxford Logic Guides, nr. 50

Autor Roman Kossak et al.

29 iun 2006

Preț: 903^.21 lei 1368^.44 lei

40-51 zile

-34%

Oxford Logic Guides, nr. 51

Autor André Nies

29 mar 2012

Preț: 379^.90 lei 486^.89 lei

40-51 zile

-22%

Oxford Logic Guides, nr. 53

Autor Byunghan Kim

17 oct 2013

Preț: 675^.69 lei 931^.88 lei

40-51 zile

-27%

Introduction to Logic and to the Methodology of Deductive Sciences

Autor Alfred Tarski

10 dec 2013

Preț: 158^.37 lei

38-44 zile

Foundations without Foundationalism: A Case for Second-Order Logic

Autor Stewart Shapiro

23 mar 2000

Preț: 361^.74 lei 475^.12 lei

40-51 zile

-24%

Autor Steve Awodey

17 iun 2010

Preț: 419^.26 lei 541^.48 lei

40-51 zile | 6-12 zile

-23%

Oxford Logic Guides

Cantorian Set Theory and Limitation of Size

Models of Peano Arithmetic

Relative Category Theory and Geometric Morphisms: A Logical Approach

A Study of Logics

Gödel's Incompleteness Theorems

Elementary Categories, Elementary Toposes

Recursion Theory for Metamathematics

Arithmetic, Proof Theory, and Computational Complexity

Many-Valued Logics

Groups of Finite Morley Rank

Diagonalization and Self-Reference

Temporal Logic: Volume 1

Cardinal Arithmetic

Features and Fluents: The Representation of Knowledge about Dynamical Systems, Volume 1

Set Theory with a Universal Set: Exploring an Untyped Universe

Geometric Stability Theory

Labelled Deductive Systems: Volume 1

Modal Logic

Twenty Five Years of Constructive Type Theory

Model Theory

Fibring Logics

Elements of Intuitionism

Temporal Logic: Volume 2

Algebraic Methods in Philosophical Logic

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

Sketches of an Elephant: A Topos Theory Compendium: Volume 2

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

Interpolation and Definability: Modal and Intuitionistic Logics

Set Theory: Boolean-Valued Models and Independence Proofs

From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

The Structure of Models of Peano Arithmetic

Computability and Randomness

Simplicity Theory

Introduction to Logic and to the Methodology of Deductive Sciences

Foundations without Foundationalism: A Case for Second-Order Logic

Category Theory

Papetărie, jocuri, reviste

Oxford Logic Guides