Oxford Logic Guides

Oxford Logic Guides

Autor Ian Pratt-Hartmann

30 mar 2023

Preț: 837^.24 lei 1257^.71 lei

19-30 zile

-33%

Consequence Relations: An Introduction to the Lindenbaum-Tarski Method

Oxford Logic Guides

Autor Alex Citkin et al.

29 iul 2022

Preț: 581^.54 lei 875^.65 lei

19-30 zile

-34%

Cantorian Set Theory and Limitation of Size

Oxford Logic Guides, nr. 10

Autor Michael Hallett

27 noi 1986

Preț: 1200^.10 lei 1827^.34 lei

40-51 zile

-34%

Oxford Logic Guides, nr. 15

Autor Richard Kaye

31 ian 1991

Preț: 1065^.42 lei 1561^.25 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^.14 lei 437^.85 lei

40-51 zile

-42%

Foundations without Foundationalism: A Case for Second-Order Logic

Oxford Logic Guides, nr. 17

Autor Stewart Shapiro

19 sep 1991

Preț: 464^.36 lei 622^.90 lei

40-51 zile

-25%

Oxford Logic Guides, nr. 18

Autor John P. Cleave

19 dec 1991

Preț: 1235^.05 lei 1878^.80 lei

40-51 zile

-34%

Oxford Logic Guides, nr. 19

Autor Raymond M. Smullyan

22 oct 1992

Preț: 1766^.92 lei 2394^.81 lei

40-51 zile

-26%

Elementary Categories, Elementary Toposes

Oxford Logic Guides, nr. 21

Colin McLarty

27 apr 1995

Preț: 871^.09 lei 1332^.75 lei

40-51 zile

-35%

Oxford Logic Guides, nr. 22

Autor Raymond M. Smullyan

15 iul 1993

Preț: 1122^.17 lei 1707^.00 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ț: 570^.45 lei 928^.13 lei

40-51 zile

-39%

Introduction to Logic and to the Methodology of Deductive Sciences

Oxford Logic Guides, nr. 24

Autor Alfred Tarski et al.

24 mar 1994

Preț: 838^.56 lei 1269^.62 lei

40-51 zile

-34%

Oxford Logic Guides, nr. 25

Autor Grzegorz Malinowski

16 dec 1993

Preț: 805^.77 lei 1219^.50 lei

40-51 zile

-34%

Oxford Logic Guides, nr. 26

Autor Alexandre Borovik et al.

dec 1994

Preț: 1083^.45 lei 1732^.57 lei

40-51 zile | 5-11 zile

-37%

Oxford Logic Guides, nr. 27

Autor Raymond M. Smullyan

sep 1994

Preț: 1544^.89 lei 2556^.03 lei

40-51 zile

-40%

Oxford Logic Guides, nr. 28

Autor Dov M. Gabbay et al.

21 iul 1994

Preț: 1848^.26 lei 3208^.98 lei

40-51 zile

-42%

Oxford Logic Guides, nr. 29

Autor Saharon Shelah

17 noi 1994

Preț: 1578^.43 lei 2410^.30 lei

40-51 zile

-35%

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

Oxford Logic Guides, nr. 30

Autor Erik Sandewall

5 ian 1995

Preț: 525^.27 lei 1127^.94 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ț: 490^.52 lei 649^.85 lei

40-51 zile

-25%

Oxford Logic Guides, nr. 32

Autor Anand Pillay

12 sep 1996

Preț: 856^.73 lei 1295^.84 lei

40-51 zile

-34%

Oxford Logic Guides, nr. 33

Autor Dov M. Gabbay

5 sep 1996

Preț: 565^.96 lei 1209^.12 lei

40-51 zile

-53%

Oxford Logic Guides, nr. 35

Autor Alexander Chagrov et al.

27 mar 1997

Preț: 1594^.59 lei 2766^.99 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ț: 622^.65 lei 1018^.71 lei

40-51 zile

-39%

Oxford Logic Guides, nr. 37

Autor Maria Manzano et al.

29 apr 1999

Preț: 1199^.80 lei 1982^.74 lei

40-51 zile

-39%

Oxford Logic Guides, nr. 38

Autor Dov M. Gabbay

5 noi 1998

Preț: 761^.53 lei 1260^.94 lei

40-51 zile

-40%

Oxford Logic Guides, nr. 39

Autor Michael Dummett

15 iun 2000

Preț: 1456^.48 lei 2215^.45 lei

40-51 zile

-34%

Oxford Logic Guides, nr. 40

Autor Dov M Gabbay et al.

30 mar 2000

Preț: 1386^.98 lei 2403^.87 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ț: 1218^.89 lei 1853^.83 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ț: 1216^.65 lei 1852^.43 lei

40-51 zile

-34%

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

Oxford Logic Guides, nr. 43

Autor Peter T. Johnstone

12 sep 2002

Preț: 1867^.63 lei 2848^.58 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ț: 1018^.55 lei 1560^.07 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ț: 1190^.83 lei 1806^.64 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ț: 334^.60 lei 396^.79 lei

40-51 zile

-16%

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ț: 1231^.91 lei 1876^.84 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ț: 900^.22 lei 1367^.46 lei

40-51 zile

-34%

Oxford Logic Guides, nr. 51

Autor André Nies

29 mar 2012

Preț: 378^.64 lei 486^.56 lei

40-51 zile

-22%

Oxford Logic Guides, nr. 52

Autor Steve Awodey

17 iun 2010

Preț: 885^.88 lei 1246^.92 lei

40-51 zile

-29%

Oxford Logic Guides, nr. 53

Autor Byunghan Kim

17 oct 2013

Preț: 673^.45 lei 931^.21 lei

40-51 zile

-28%

Oxford Logic Guides

Fragments of First-Order Logic

Consequence Relations: An Introduction to the Lindenbaum-Tarski Method

Cantorian Set Theory and Limitation of Size

Models of Peano Arithmetic

Relative Category Theory and Geometric Morphisms: A Logical Approach

Foundations without Foundationalism: A Case for Second-Order Logic

A Study of Logics

Gödel's Incompleteness Theorems

Elementary Categories, Elementary Toposes

Recursion Theory for Metamathematics

Arithmetic, Proof Theory, and Computational Complexity

Introduction to Logic and to the Methodology of Deductive Sciences

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 1

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

Category Theory

Simplicity Theory

Papetărie, jocuri, reviste

Oxford Logic Guides