Sök

Consequence Relations

An Introduction to the Lindenbaum-Tarski Method

AvAlex Citkin,Alexei Muravitsky m. fl.

Inbunden, Engelska, 2022

1 609 kr

Skickas inom 5-8 vardagar

Fragments of First-Order Logic

AvIan Pratt-Hartmann,University of Opole) Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences

Inbunden, Engelska, 2023

2 309 kr

Skickas inom 5-8 vardagar

Del 24

Del 24 - Oxford Logic Guides

Introduction to Logic and to the Methodology of Deductive Sciences

AvAlfred Tarski,The late Alfred Tarski m. fl.

Inbunden, Engelska, 1994

2 159 kr

Skickas inom 5-8 vardagar

Del 19

Del 19 - Oxford Logic Guides

Gödel's Incompleteness Theorems

AvRaymond M. Smullyan,USA) Smullyan, Raymond M. (Professor, City College, Professor, City College, City University of New York

Inbunden, Engelska, 1992

4 289 kr

Skickas inom 5-8 vardagar

Del 22

Del 22 - Oxford Logic Guides

Recursion Theory for Metamathematics

AvRaymond M. Smullyan,Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy

Inbunden, Engelska, 1993

2 859 kr

Skickas inom 5-8 vardagar

Del 36

Del 36 - Oxford Logic Guides

Twenty Five Years of Constructive Type Theory

AvGiovanni Sambin,Jan M. Smith m. fl.

Inbunden, Engelska, 1998

1 589 kr

Skickas inom 5-8 vardagar

Del 42

Del 42 - Oxford Logic Guides

Change, Choice and Inference

A study of Belief Revision and Nonmonotonic Reasoning

AvHans Rott,Germany) Rott, Hans (, Professor of Philosophy, University of Regensburg

Inbunden, Engelska, 2001

3 139 kr

Skickas inom 5-8 vardagar

Del 38

Del 38 - Oxford Logic Guides

Fibring Logics

AvDov M. Gabbay,London) Gabbay, Dov M. (Professor of Computer Science, Professor of Computer Science, King's College

Inbunden, Engelska, 1998

1 979 kr

Skickas inom 5-8 vardagar

Del 39

Del 39 - Oxford Logic Guides

Elements of Intuitionism

AvMichael Dummett,University of Oxford) Dummett, Michael (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy

Inbunden, Engelska, 2000

4 669 kr

Skickas inom 7-10 vardagar

Del 46

Del 46 - Oxford Logic Guides

Interpolation and Definability

Modal and Intuitionistic Logics

AvDov M. Gabbay,Larisa Maksimova m. fl.

Inbunden, Engelska, 2005

3 619 kr

Skickas inom 5-8 vardagar

Del 21

Del 21 - Oxford Logic Guides

Elementary Categories, Elementary Toposes

AvMcLarty,Colin McLarty

Häftad, Engelska, 1995

2 119 kr

Skickas inom 5-8 vardagar

Del 31

Del 31 - Oxford Logic Guides

Set Theory with a Universal Set

Exploring an Untyped Universe

AvT. E. Forster,University of Cambridge) Forster, T. E. (Department of Pure Mathematics and Mathematical Statistics, Department of Pure Mathematics and Mathematical Statistics

Inbunden, Engelska, 1995

1 129 kr

Skickas inom 5-8 vardagar

Del 44

Del 44 - Oxford Logic Guides

Sketches of an Elephant: A Topos Theory Compendium

Volume 2

AvPeter T. Johnstone,UK) Johnstone, Peter T. (, Reader in the Foundations of Mathematics, University of Cambridge, Cambridge m. fl.

Inbunden, Engelska, 2002

6 409 kr

Skickas inom 5-8 vardagar

Del 45

Del 45 - Oxford Logic Guides

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control

AvDavid J. Pym,Eike Ritter m. fl.

Inbunden, Engelska, 2004

2 919 kr

Skickas inom 5-8 vardagar

Del 41

Del 41 - Oxford Logic Guides

Algebraic Methods in Philosophical Logic

AvJ. Michael Dunn,Gary Hardegree m. fl.

Inbunden, Engelska, 2001

3 129 kr

Skickas inom 5-8 vardagar

Del 18

Del 18 - Oxford Logic Guides

A Study of Logics

AvJohn P. Cleave,University of Bristol) Cleave, John P. (Reader in Mathematics (retired), Reader in Mathematics (retired)

Inbunden, Engelska, 1991

3 729 kr

Skickas inom 5-8 vardagar

Del 15

Del 15 - Oxford Logic Guides

Models of Peano Arithmetic

AvRichard Kaye,Oxford) Kaye, Richard (Junior Research Fellow, Junior Research Fellow, Jesus College m. fl.

Inbunden, Engelska, 1991

2 909 kr

Skickas inom 5-8 vardagar

Del 10

Del 10 - Oxford Logic Guides

Cantorian Set Theory and Limitation of Size

AvMichael Hallett

Häftad, Engelska, 1986

3 079 kr

Skickas inom 5-8 vardagar

Del 17

Del 17 - Oxford Logic Guides

Foundations without Foundationalism

A Case for Second-Order Logic

AvStewart Shapiro,Ohio State University) Shapiro, Stewart (Professor of Philosophy, Professor of Philosophy

Inbunden, Engelska, 1991

3 029 kr

Skickas inom 5-8 vardagar

Del 43

Del 43 - Oxford Logic Guides

Sketches of an Elephant: A Topos Theory Compendium

Volume 1

AvPeter T. Johnstone,UK) Johnstone, Peter T. (, Reader in the Foundations of Mathematics, University of Cambridge, Cambridge m. fl.

Inbunden, Engelska, 2002

6 549 kr

Skickas inom 5-8 vardagar

Del 16

Del 16 - Oxford Logic Guides

Relative Category Theory and Geometric Morphisms

A Logical Approach

AvJonathan Chapman,Frederick Rowbottom m. fl.

Inbunden, Engelska, 1992

699 kr

Skickas inom 7-10 vardagar

Del 32

Del 32 - Oxford Logic Guides

Geometric Stability Theory

AvAnand Pillay,USA) Pillay, Anand (, University of Illinois

Inbunden, Engelska, 1996

2 179 kr

Skickas inom 5-8 vardagar

Del 26

Del 26 - Oxford Logic Guides

Groups of Finite Morley Rank

AvAlexandre Borovik,Ali Nesin m. fl.

Inbunden, Engelska, 1994

3 249 kr

Skickas torsdag 19/3

Del 27

Del 27 - Oxford Logic Guides

Diagonalization and Self-Reference

AvRaymond M. Smullyan,Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy

Inbunden, Engelska, 1994

5 119 kr

Skickas inom 7-10 vardagar

Del 23

Del 23 - Oxford Logic Guides

Arithmetic, Proof Theory, and Computational Complexity

AvClote,Krajicek m. fl.

Inbunden, Engelska, 1993

2 029 kr

Skickas inom 3-6 vardagar

Del 40

Del 40 - Oxford Logic Guides

Temporal Logic: Volume 2

AvDov M Gabbay,M. Finger m. fl.

Inbunden, Engelska, 2000

4 779 kr

Skickas inom 5-8 vardagar

Del 28

Del 28 - Oxford Logic Guides

Temporal Logic: Volume 1

AvDov M. Gabbay,Ian Hodkinson m. fl.

Inbunden, Engelska, 1994

5 989 kr

Skickas inom 7-10 vardagar

Del 35

Del 35 - Oxford Logic Guides

Modal Logic

AvAlexander Chagrov,Michael Zakharyaschev m. fl.

Inbunden, Engelska, 1997

4 169 kr

Skickas inom 5-8 vardagar

Del 29

Del 29 - Oxford Logic Guides

Cardinal Arithmetic

AvSaharon Shelah,Israel) Shelah, Saharon (Professor, Department of Mathematics, Rutgers University; Institute of Mathematics, Professor, Department of Mathematics, Rutgers University; Institute of Mathematics, The Hebrew University of Jerusalem

Inbunden, Engelska, 1994

4 069 kr

Skickas inom 5-8 vardagar

Del 25

Del 25 - Oxford Logic Guides

Many-Valued Logics

AvGrzegorz Malinowski,Poland) Malinowski, Grzegorz (Head of Department of Logic, Head of Department of Logic, University of Lodz

Inbunden, Engelska, 1993

2 029 kr

Skickas inom 5-8 vardagar

Oxford Logic Guides

Consequence Relations

Fragments of First-Order Logic

Introduction to Logic and to the Methodology of Deductive Sciences

Gödel's Incompleteness Theorems

Recursion Theory for Metamathematics

Twenty Five Years of Constructive Type Theory

Change, Choice and Inference

Fibring Logics

Elements of Intuitionism

Interpolation and Definability

Elementary Categories, Elementary Toposes

Set Theory with a Universal Set

Sketches of an Elephant: A Topos Theory Compendium

Reductive Logic and Proof-search

Algebraic Methods in Philosophical Logic

A Study of Logics

Models of Peano Arithmetic

Cantorian Set Theory and Limitation of Size

Foundations without Foundationalism

Sketches of an Elephant: A Topos Theory Compendium

Relative Category Theory and Geometric Morphisms

Geometric Stability Theory

Groups of Finite Morley Rank

Diagonalization and Self-Reference

Arithmetic, Proof Theory, and Computational Complexity

Temporal Logic: Volume 2

Temporal Logic: Volume 1

Modal Logic

Cardinal Arithmetic

Many-Valued Logics

Loading component...

Loading component...

Oxford Logic Guides

Consequence Relations

Fragments of First-Order Logic

Introduction to Logic and to the Methodology of Deductive Sciences

Gödel's Incompleteness Theorems

Recursion Theory for Metamathematics

Twenty Five Years of Constructive Type Theory

Change, Choice and Inference

Fibring Logics

Elements of Intuitionism

Interpolation and Definability

Elementary Categories, Elementary Toposes

Set Theory with a Universal Set

Sketches of an Elephant: A Topos Theory Compendium

Reductive Logic and Proof-search

Algebraic Methods in Philosophical Logic

A Study of Logics

Models of Peano Arithmetic

Cantorian Set Theory and Limitation of Size

Foundations without Foundationalism

Sketches of an Elephant: A Topos Theory Compendium

Relative Category Theory and Geometric Morphisms

Geometric Stability Theory

Groups of Finite Morley Rank

Diagonalization and Self-Reference

Arithmetic, Proof Theory, and Computational Complexity

Temporal Logic: Volume 2

Temporal Logic: Volume 1

Modal Logic

Cardinal Arithmetic

Many-Valued Logics

Akademibokhandeln

Hjälp

Tjänster

Erbjudanden

Inspiration