Filtre: Hardback

Oxford Logic Guides

Oxford Logic Guides

Autor Ian Pratt-Hartmann

30 mar 2023

Preț: 839^.12 lei 1257^.62 lei

20-31 zile

-33%

Positive Topology: A New Practice in Constructive Mathematics

Oxford Logic Guides

Autor Giovanni Sambin

30 oct 2025

Preț: 691^.06 lei 897^.48 lei

3-5 săpt.

-23%

Consequence Relations: An Introduction to the Lindenbaum-Tarski Method

Oxford Logic Guides

Autor Alex Citkin et al.

29 iul 2022

Preț: 582^.85 lei 875^.59 lei

20-31 zile

-33%

Oxford Logic Guides, nr. 15

Autor Richard Kaye

31 ian 1991

Preț: 1067^.81 lei 1561^.12 lei

41-52 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^.70 lei 350^.96 lei

41-52 zile

-27%

Foundations without Foundationalism: A Case for Second-Order Logic

Oxford Logic Guides, nr. 17

Autor Stewart Shapiro

19 sep 1991

Preț: 465^.40 lei 622^.85 lei

41-52 zile

-25%

Oxford Logic Guides, nr. 18

Autor John P. Cleave

19 dec 1991

Preț: 1234^.42 lei 1876^.55 lei

41-52 zile

-34%

Oxford Logic Guides, nr. 19

Autor Raymond M. Smullyan

22 oct 1992

Preț: 1770^.88 lei 2394^.64 lei

41-52 zile

-26%

Oxford Logic Guides, nr. 22

Autor Raymond M. Smullyan

15 iul 1993

Preț: 1124^.67 lei 1706^.85 lei

41-52 zile

-34%

Introduction to Logic and to the Methodology of Deductive Sciences

Oxford Logic Guides, nr. 24

Autor Alfred Tarski et al.

24 mar 1994

Preț: 840^.43 lei 1269^.52 lei

41-52 zile

-34%

Oxford Logic Guides, nr. 25

Autor Grzegorz Malinowski

16 dec 1993

Preț: 807^.57 lei 1219^.40 lei

41-52 zile

-34%

Oxford Logic Guides, nr. 26

Autor Alexandre Borovik et al.

dec 1994

Preț: 1085^.49 lei 1732^.20 lei

41-52 zile | 10-14 zile

-37%

Oxford Logic Guides, nr. 27

Autor Raymond M. Smullyan

sep 1994

Preț: 1548^.35 lei 2687^.50 lei

41-52 zile

-42%

Oxford Logic Guides, nr. 28

Autor Dov M. Gabbay et al.

21 iul 1994

Preț: 1852^.40 lei 3208^.72 lei

41-52 zile

-42%

Oxford Logic Guides, nr. 29

Autor Saharon Shelah

17 noi 1994

Preț: 1581^.96 lei 2410^.11 lei

41-52 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^.31 lei 1128^.43 lei

41-52 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ț: 491^.51 lei 649^.72 lei

41-52 zile

-24%

Oxford Logic Guides, nr. 32

Autor Anand Pillay

12 sep 1996

Preț: 858^.64 lei 1295^.74 lei

41-52 zile

-34%

Oxford Logic Guides, nr. 33

Autor Dov M. Gabbay

5 sep 1996

Preț: 566^.83 lei 1208^.77 lei

41-52 zile

-53%

Oxford Logic Guides, nr. 35

Autor Alexander Chagrov et al.

27 mar 1997

Preț: 1598^.18 lei 2766^.76 lei

41-52 zile

-42%

Twenty Five Years of Constructive Type Theory

Oxford Logic Guides, nr. 36

Autor Giovanni Sambin et al.

15 oct 1998

Preț: 624^.10 lei 1018^.67 lei

41-52 zile

-39%

Oxford Logic Guides, nr. 37

Autor Maria Manzano et al.

29 apr 1999

Preț: 1202^.29 lei 1982^.45 lei

41-52 zile

-39%

Oxford Logic Guides, nr. 38

Autor Dov M. Gabbay

5 noi 1998

Preț: 763^.22 lei 1260^.85 lei

41-52 zile

-39%

Oxford Logic Guides, nr. 39

Autor Michael Dummett

15 iun 2000

Preț: 1459^.75 lei 2337^.96 lei

41-52 zile

-38%

Oxford Logic Guides, nr. 40

Autor Dov M Gabbay et al.

30 mar 2000

Preț: 1389^.25 lei 2403^.12 lei

41-52 zile

-42%

Algebraic Methods in Philosophical Logic

Oxford Logic Guides, nr. 41

Autor J. Michael Dunn et al.

28 iun 2001

Preț: 1221^.79 lei 1853^.79 lei

41-52 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ț: 1219^.73 lei 1852^.50 lei

41-52 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ț: 1871^.82 lei 2848^.35 lei

41-52 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ț: 1020^.40 lei 1559^.67 lei

41-52 zile

-35%

Interpolation and Definability: Modal and Intuitionistic Logics

Oxford Logic Guides, nr. 46

Autor Dov M. Gabbay et al.

12 mai 2005

Preț: 1193^.58 lei 1806^.54 lei

41-52 zile

-34%

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ț: 1234^.68 lei 1878^.10 lei

41-52 zile

-34%

The Structure of Models of Peano Arithmetic

Oxford Logic Guides, nr. 50

Autor Roman Kossak et al.

29 iun 2006

Preț: 902^.82 lei 1367^.73 lei

41-52 zile

-34%

Oxford Logic Guides, nr. 52

Autor Steve Awodey

17 iun 2010

Preț: 887^.87 lei 1246^.83 lei

41-52 zile

-29%

Oxford Logic Guides, nr. 53

Autor Byunghan Kim

17 oct 2013

Preț: 674^.94 lei 1019^.89 lei

41-52 zile

-34%

Oxford Logic Guides

Fragments of First-Order Logic

Positive Topology: A New Practice in Constructive Mathematics

Consequence Relations: An Introduction to the Lindenbaum-Tarski Method

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

Recursion Theory for Metamathematics

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

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

The Structure of Models of Peano Arithmetic

Category Theory

Simplicity Theory

Papetărie, jocuri, reviste

Oxford Logic Guides