Oxford Logic Guides

Consequence Relations: An Introduction to the Lindenbaum-Tarski Method

Oxford Logic Guides

Autor Alex Citkin et al.

29 iul 2022

Preț: 536^.66 lei 767^.28 lei

10-16 zile | 5-11 zile

-30%

Oxford Logic Guides

Autor Ian Pratt-Hartmann

30 mar 2023

Preț: 770^.90 lei 1035^.71 lei

10-16 zile | 5-11 zile

-26%

Cantorian Set Theory and Limitation of Size

Oxford Logic Guides, nr. 10

Autor Michael Hallett

27 noi 1986

Preț: 1109^.45 lei 1689^.50 lei

31-37 zile

-34%

Oxford Logic Guides, nr. 15

Autor Richard Kaye

31 ian 1991

Preț: 992^.97 lei 1443^.51 lei

31-37 zile

-31%

Relative Category Theory and Geometric Morphisms: A Logical Approach

Oxford Logic Guides, nr. 16

Autor Jonathan Chapman et al.

6 feb 1992

Preț: 235^.69 lei 404^.90 lei

31-37 zile

-42%

Foundations without Foundationalism: A Case for Second-Order Logic

Oxford Logic Guides, nr. 17

Autor Stewart Shapiro

19 sep 1991

Preț: 427^.62 lei 576^.00 lei

31-37 zile

-26%

Oxford Logic Guides, nr. 18

Autor John P. Cleave

19 dec 1991

Preț: 1140^.17 lei 1735^.16 lei

31-37 zile

-34%

Oxford Logic Guides, nr. 19

Autor Raymond M. Smullyan

22 oct 1992

Preț: 1631^.89 lei 2214^.16 lei

31-37 zile

-26%

Elementary Categories, Elementary Toposes

Oxford Logic Guides, nr. 21

Autor Colin McLarty

27 apr 1995

Preț: 804^.96 lei 1232^.66 lei

31-37 zile

-35%

Oxford Logic Guides, nr. 22

Autor Raymond M. Smullyan

15 iul 1993

Preț: 1033^.61 lei 1493^.47 lei

31-37 zile

-31%

Arithmetic, Proof Theory, and Computational Complexity

Oxford Logic Guides, nr. 23

Editat de Peter Clote et al.

6 mai 1993

Preț: 526^.20 lei 858^.19 lei

31-37 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ț: 772^.19 lei 1173^.91 lei

31-37 zile

-34%

Oxford Logic Guides, nr. 25

Autor Grzegorz Malinowski

16 dec 1993

Preț: 740^.28 lei 1127^.55 lei

31-37 zile

-34%

Oxford Logic Guides, nr. 26

Autor Alexandre Borovik et al.

dec 1994

Preț: 1010^.14 lei 1534^.52 lei

31-37 zile | 5-11 zile

-34%

Oxford Logic Guides, nr. 27

Autor Raymond M. Smullyan

sep 1994

Preț: 1431^.27 lei 2363^.19 lei

31-37 zile

-39%

Oxford Logic Guides, nr. 28

Autor Dov M. Gabbay et al.

20 iul 1994

Preț: 2258^.42 lei 2823^.03 lei

43-57 zile

-20%

Oxford Logic Guides, nr. 29

Autor Saharon Shelah

17 noi 1994

Preț: 1463^.05 lei 2228^.46 lei

31-37 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ț: 483^.06 lei 1043^.45 lei

31-37 zile

-54%

Set Theory with a Universal Set: Exploring an Untyped Universe

Oxford Logic Guides, nr. 31

Autor T. E. Forster

24 aug 1995

Preț: 452^.99 lei 628^.35 lei

31-37 zile

-28%

Oxford Logic Guides, nr. 32

Autor Anand Pillay

12 sep 1996

Preț: 789^.87 lei 1198^.13 lei

31-37 zile

-34%

Oxford Logic Guides, nr. 33

Autor Dov M. Gabbay

5 sep 1996

Preț: 521^.45 lei 1117^.73 lei

31-37 zile

-53%

Oxford Logic Guides, nr. 35

Autor Alexander Chagrov et al.

27 mar 1997

Preț: 1479^.64 lei 2438^.39 lei

31-37 zile

-39%

Twenty Five Years of Constructive Type Theory

Oxford Logic Guides, nr. 36

Autor Giovanni Sambin et al.

15 oct 1998

Preț: 574^.17 lei 941^.97 lei

31-37 zile

-39%

Oxford Logic Guides, nr. 37

Autor Maria Manzano et al.

29 apr 1999

Preț: 1109^.66 lei 1833^.07 lei

31-37 zile

-39%

Oxford Logic Guides, nr. 38

Autor Dov M. Gabbay

5 noi 1998

Preț: 712^.14 lei 1165^.89 lei

31-37 zile

-39%

Oxford Logic Guides, nr. 39

Autor Michael Dummett

14 iun 2000

Preț: 1577^.23 lei 2048^.34 lei

43-57 zile

-23%

Oxford Logic Guides, nr. 40

Autor Dov M Gabbay et al.

30 mar 2000

Preț: 1291^.20 lei 2821^.33 lei

31-37 zile

-54%

Algebraic Methods in Philosophical Logic

Oxford Logic Guides, nr. 41

Autor J. Michael Dunn et al.

28 iun 2001

Preț: 1127^.90 lei 1714^.09 lei

31-37 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ț: 1125^.89 lei 1712^.92 lei

31-37 zile

-34%

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

Oxford Logic Guides, nr. 43

Autor Peter T. Johnstone

11 sep 2002

Preț: 2027^.92 lei 2633^.66 lei

43-57 zile

-23%

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ț: 946^.95 lei 1442^.19 lei

31-37 zile

-34%

Interpolation and Definability: Modal and Intuitionistic Logics

Oxford Logic Guides, nr. 46

Autor Dov M. Gabbay et al.

12 mai 2005

Preț: 1100^.51 lei 1670^.41 lei

31-37 zile

-34%

Set Theory: Boolean-Valued Models and Independence Proofs

Oxford Logic Guides, nr. 47

Autor John L. Bell

5 mai 2011

Preț: 351^.93 lei

31-37 zile

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ț: 1140^.41 lei 1735^.29 lei

31-37 zile

-34%

The Structure of Models of Peano Arithmetic

Oxford Logic Guides, nr. 50

Autor Roman Kossak et al.

29 iun 2006

Preț: 832^.79 lei 1264^.70 lei

31-37 zile

-34%

Oxford Logic Guides, nr. 51

Autor André Nies

29 mar 2012

Preț: 350^.24 lei 397^.19 lei

31-37 zile

-12%

Oxford Logic Guides, nr. 53

Autor Byunghan Kim

17 oct 2013

Preț: 626^.08 lei 900^.61 lei

31-37 zile

-30%

Autor Steve Awodey

17 iun 2010

Preț: 382^.37 lei 470^.21 lei

10-16 zile | 5-11 zile

-19%

Oxford Logic Guides

Consequence Relations: An Introduction to the Lindenbaum-Tarski Method

Fragments of First-Order Logic

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

Simplicity Theory

Category Theory

Papetărie, jocuri, reviste

Oxford Logic Guides