Oxford Logic Guides

Consequence Relations: An Introduction to the Lindenbaum-Tarski Method

Oxford Logic Guides

Autor Alex Citkin et al.

28 iul 2022

Preț: 534^.54 lei 729^.66 lei

11-16 zile | 6-12 zile

-27%

Oxford Logic Guides

Autor Ian Pratt-Hartmann

29 mar 2023

Preț: 767^.78 lei 984^.91 lei

11-16 zile | 6-12 zile

-22%

Cantorian Set Theory and Limitation of Size

Oxford Logic Guides, nr. 10

Autor Michael Hallett

26 noi 1986

Preț: 1267^.41 lei 1645^.99 lei

6-8 săpt.

-23%

Oxford Logic Guides, nr. 15

Autor Richard Kaye

30 ian 1991

Preț: 988^.77 lei 1439^.66 lei

32-37 zile

-31%

Relative Category Theory and Geometric Morphisms: A Logical Approach

Oxford Logic Guides, nr. 16

Autor Jonathan Chapman et al.

5 feb 1992

Preț: 234^.71 lei 386^.25 lei

32-37 zile

-39%

Foundations without Foundationalism: A Case for Second-Order Logic

Oxford Logic Guides, nr. 17

Autor Stewart Shapiro

18 sep 1991

Preț: 425^.40 lei 591^.66 lei

32-37 zile

-28%

Oxford Logic Guides, nr. 18

Autor John P. Cleave

18 dec 1991

Preț: 1303^.21 lei 1692^.47 lei

6-8 săpt.

-23%

Oxford Logic Guides, nr. 19

Autor Raymond M. Smullyan

21 oct 1992

Preț: 1624^.98 lei 2244^.92 lei

32-37 zile

-28%

Elementary Categories, Elementary Toposes

Oxford Logic Guides, nr. 21

Autor Colin McLarty

26 apr 1995

Preț: 800^.97 lei 1265^.70 lei

32-37 zile

-37%

Oxford Logic Guides, nr. 22

Autor Raymond M. Smullyan

14 iul 1993

Preț: 1029^.23 lei 1419^.29 lei

32-37 zile

-27%

Arithmetic, Proof Theory, and Computational Complexity

Oxford Logic Guides, nr. 23

Editat de Peter Clote et al.

5 mai 1993

Preț: 668^.52 lei 835^.65 lei

6-8 săpt.

-20%

Introduction to Logic and to the Methodology of Deductive Sciences

Oxford Logic Guides, nr. 24

Autor Alfred Tarski et al.

23 mar 1994

Preț: 768^.94 lei 1118^.80 lei

32-37 zile

-31%

Oxford Logic Guides, nr. 25

Autor Grzegorz Malinowski

15 dec 1993

Preț: 847^.05 lei 1100^.06 lei

6-8 săpt.

-23%

Oxford Logic Guides, nr. 26

Autor Alexandre Borovik et al.

30 noi 1994

Preț: 1170^.55 lei 1520^.20 lei

6-8 săpt. | 6-12 zile

-23%

Oxford Logic Guides, nr. 27

Autor Raymond M. Smullyan

31 aug 1994

Preț: 1801^.54 lei 2251^.92 lei

6-8 săpt.

-20%

Oxford Logic Guides, nr. 28

Autor Dov M. Gabbay et al.

20 iul 1994

Preț: 2152^.14 lei 2690^.18 lei

6-8 săpt.

-20%

Oxford Logic Guides, nr. 29

Autor Saharon Shelah

16 noi 1994

Preț: 1668^.64 lei 2167^.06 lei

6-8 săpt.

-23%

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

Oxford Logic Guides, nr. 30

Autor Erik Sandewall

4 ian 1995

Preț: 480^.21 lei 994^.09 lei

32-37 zile

-52%

Set Theory with a Universal Set: Exploring an Untyped Universe

Oxford Logic Guides, nr. 31

Autor T. E. Forster

23 aug 1995

Preț: 520^.11 lei 642^.11 lei

6-8 săpt.

-19%

Oxford Logic Guides, nr. 32

Autor Anand Pillay

11 sep 1996

Preț: 908^.07 lei 1179^.32 lei

6-8 săpt.

-23%

Oxford Logic Guides, nr. 33

Autor Dov M. Gabbay

4 sep 1996

Preț: 519^.63 lei 1065^.73 lei

32-37 zile

-51%

Oxford Logic Guides, nr. 35

Autor Alexander Chagrov et al.

26 mar 1997

Preț: 1920^.40 lei 2400^.50 lei

6-8 săpt.

-20%

Twenty Five Years of Constructive Type Theory

Oxford Logic Guides, nr. 36

Autor Giovanni Sambin et al.

14 oct 1998

Preț: 718^.22 lei 897^.78 lei

6-8 săpt.

-20%

Oxford Logic Guides, nr. 37

Autor Maria Manzano et al.

28 apr 1999

Preț: 1410^.37 lei 1762^.96 lei

6-8 săpt.

-20%

Oxford Logic Guides, nr. 38

Autor Dov M. Gabbay

4 noi 1998

Preț: 902^.27 lei 1127^.83 lei

6-8 săpt.

-20%

Oxford Logic Guides, nr. 39

Autor Michael Dummett

14 iun 2000

Preț: 1600^.56 lei 1951^.90 lei

6-8 săpt.

-18%

Oxford Logic Guides, nr. 40

Autor Dov M Gabbay et al.

29 mar 2000

Preț: 1286^.53 lei 2689^.00 lei

32-37 zile

-52%

Algebraic Methods in Philosophical Logic

Oxford Logic Guides, nr. 41

Autor J. Michael Dunn et al.

27 iun 2001

Preț: 1275^.24 lei 1656^.15 lei

6-8 săpt.

-23%

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

Oxford Logic Guides, nr. 42

Autor Hans Rott

10 oct 2001

Preț: 1271^.40 lei 1651^.18 lei

6-8 săpt.

-23%

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

Oxford Logic Guides, nr. 43

Autor Peter T. Johnstone

11 sep 2002

Preț: 2057^.93 lei 2509^.67 lei

6-8 săpt.

-18%

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

Oxford Logic Guides, nr. 45

Autor David J. Pym et al.

28 apr 2004

Preț: 1084^.25 lei 1408^.11 lei

6-8 săpt.

-23%

Interpolation and Definability: Modal and Intuitionistic Logics

Oxford Logic Guides, nr. 46

Autor Dov M. Gabbay et al.

11 mai 2005

Preț: 1252^.58 lei 1626^.72 lei

6-8 săpt.

-23%

Set Theory: Boolean-Valued Models and Independence Proofs

Oxford Logic Guides, nr. 47

Autor John L. Bell

4 mai 2011

Preț: 350^.61 lei 385^.83 lei

32-37 zile

-9%

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.

5 oct 2005

Preț: 1298^.21 lei 1685^.99 lei

6-8 săpt.

-23%

The Structure of Models of Peano Arithmetic

Oxford Logic Guides, nr. 50

Autor Roman Kossak et al.

28 iun 2006

Preț: 957^.18 lei 1243^.08 lei

6-8 săpt.

-23%

Oxford Logic Guides, nr. 51

Autor André Nies

28 mar 2012

Preț: 349^.13 lei 427^.54 lei

32-37 zile

-18%

Oxford Logic Guides, nr. 53

Autor Byunghan Kim

16 oct 2013

Preț: 736^.24 lei 856^.10 lei

6-8 săpt.

-14%

Autor Steve Awodey

16 iun 2010

Preț: 380^.78 lei 470^.21 lei

11-16 zile | 6-12 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