Showing 1 - 24 (of 53)
Refine
Category Theory - Book

Category Theory

Steve (Carnegie Mellon University, USA) Awodey

Format: Book (Paperback / softback)

£57.00

£48.27

Book (Paperback / softback)

Add to Basket
Foundations without Foundationalism : A Case for Second-Order Logic - eBook

£41.24

£35.05

eBook (PDF)

Add to Basket
Elements of Intuitionism - Book

Elements of Intuitionism

Michael (Emeritus Professor of Philosophy, Emeritus Professor Dummett

Format: Book (Hardback)

£232.22

Book (Hardback)

Add to Basket
Elementary Categories, Elementary Toposes - Book

Elementary Categories, Elementary Toposes

Colin (Professor, Department of Philosophy, Professor, Depart McLarty

Format: Book (Paperback / softback)

£127.50

£125.18

Book (Paperback / softback)

Add to Basket
Sketches of an Elephant: A Topos Theory Compendium : 2 Volume Set - Book

Sketches of an Elephant: A Topos Theory Compendium : 2 Volume Set

Peter T. (, Reader in the Foundations of Mathematics, Unive Johnstone

Format: Book (Multiple-component retail product)

£507.21

Book (Multiple-component retail product)

Add to Basket
Set Theory : Boolean-Valued Models and Independence Proofs - Book

Set Theory : Boolean-Valued Models and Independence Proofs

John L. (Professor of Philosophy, University of Western Ontario) Bell

Format: Book (Paperback / softback)

£47.49

£40.47

Book (Paperback / softback)

Add to Basket
Set Theory with a Universal Set : Exploring an Untyped Universe - Book

Set Theory with a Universal Set : Exploring an Untyped Universe

T. E. (Department of Pure Mathematics and Mathematical Statis Forster

Format: Book (Hardback)

£73.00

£68.70

Book (Hardback)

Add to Basket
Algebraic Methods in Philosophical Logic - Book

Algebraic Methods in Philosophical Logic

J. Michael (Ewing Professor of Philosophy, Professor of Computer Dunn

Format: Book (Hardback)

£194.73

Book (Hardback)

Add to Basket
Diagonalization and Self-Reference - Book

Diagonalization and Self-Reference

Raymond M. (Professor of Philosophy, Professor of Philosophy Smullyan

Format: Book (Hardback)

£249.74

Book (Hardback)

Add to Basket
Modal Logic - Book

Modal Logic

Alexander (Professor of Mathematics, Professor of Mathematics Chagrov

Format: Book (Hardback)

£257.23

Book (Hardback)

Add to Basket
Labelled Deductive Systems : Volume 1 - Book

Labelled Deductive Systems : Volume 1

Dov M. (Professor, Department of Computing, Professor, Departm Gabbay

Format: Book (Hardback)

£115.00

£114.17

Book (Hardback)

Add to Basket
Model Theory - Book

Model Theory

Maria (Profesora Titular de Logica, Profesora Titular de Logi Manzano

Format: Book (Hardback)

£194.39

Book (Hardback)

Add to Basket
Recursion Theory for Metamathematics - Book

Recursion Theory for Metamathematics

Raymond M. (Professor of Philosophy, Professor of Philosophy Smullyan

Format: Book (Hardback)

£175.00

£167.93

Book (Hardback)

Add to Basket
Godel's Incompleteness Theorems - eBook

Godel's Incompleteness Theorems

Raymond M. Smullyan

Format: eBook (EPUB)

£170.83

£153.75

eBook (EPUB)

Add to Basket
Simplicity Theory - eBook

Simplicity Theory

Byunghan Kim

Format: eBook (PDF)

£87.50

£83.13

eBook (PDF)

Add to Basket
Computability and Randomness - eBook

Computability and Randomness

Andre Nies

Format: eBook (PDF)

£42.50

£36.13

eBook (PDF)

Add to Basket
Twenty Five Years of Constructive Type Theory - eBook

£80.83

£76.79

eBook (PDF)

Add to Basket
Set Theory : Boolean-Valued Models and Independence Proofs - eBook

£39.57

£33.63

eBook (EPUB)

Add to Basket
Computability and Randomness - eBook

Computability and Randomness

Andre Nies

Format: eBook (EPUB)

£42.50

£36.13

eBook (EPUB)

Add to Basket
Consequence Relations : An Introduction to the Lindenbaum-Tarski Method - eBook

£59.17

£56.21

eBook (PDF)

Add to Basket
Fragments of First-Order Logic - eBook

Fragments of First-Order Logic

Ian Pratt-Hartmann

Format: eBook (PDF)

£79.17

£75.21

eBook (PDF)

Add to Basket
Consequence Relations : An Introduction to the Lindenbaum-Tarski Method - Book

Consequence Relations : An Introduction to the Lindenbaum-Tarski Method

Alex (CIO, CIO, Metropolitan Telecommunications, New York) Citkin

Format: Book (Hardback)

£71.00

£66.05

Book (Hardback)

Add to Basket
Fragments of First-Order Logic - Book

Fragments of First-Order Logic

Ian (Senior Lecturer, University of Manchester Profess Pratt-Hartmann

Format: Book (Hardback)

£120.00

£108.99

Book (Hardback)

Add to Basket
Introduction to Logic and to the Methodology of the Deductive Sciences - eBook

£108.33

£102.91

eBook (PDF)

Add to Basket
Showing 1 - 24 (of 53)
Refine