Showing 48 - 72 (of 590)
Refine
Mathematical Logic - Book

Mathematical Logic

Ian (Queen Mary, University of London) Chiswell

Format: Book (Paperback / softback)

£68.00

£56.25

Book (Paperback / softback)

Add to Basket
Higher Topos Theory (AM-170) - Book

Higher Topos Theory (AM-170)

Jacob Lurie

Format: Book (Paperback / softback)

£84.00

£57.42

Book (Paperback / softback)

Add to Basket
The Description Logic Handbook : Theory, Implementation and Applications - Book

The Description Logic Handbook : Theory, Implementation and Applications

Franz Baader

Format: Book (Hardback)

£85.00

£70.08

Book (Hardback)

Add to Basket
Kurt Godel: Collected Works: Volume II : Publications 1938-1974 - Book

Kurt Godel: Collected Works: Volume II : Publications 1938-1974

Kurt Godel

Format: Book (Paperback / softback)

£92.00

£86.02

Book (Paperback / softback)

Add to Basket
Mathematical Logic: Part 2 : Recursion Theory, Godel's Theorems, Set Theory, Model Theory - Book

Mathematical Logic: Part 2 : Recursion Theory, Godel's Theorems, Set Theory, Model Theory

Rene (, Universite Paris VII) Cori

Format: Book (Paperback / softback)

£93.00

£92.40

Book (Paperback / softback)

Add to Basket
Understanding Mathematical Proof - Book

Understanding Mathematical Proof

John Taylor

Format: Book (Paperback / softback)

£61.99

£52.10

Book (Paperback / softback)

Add to Basket
Kurt Godel: Collected Works: Volume III : Unpublished Essays and Lectures - Book

Kurt Godel: Collected Works: Volume III : Unpublished Essays and Lectures

Kurt Godel

Format: Book (Paperback / softback)

£68.00

£65.06

Book (Paperback / softback)

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
Cellular Automata And Complexity : Collected Papers - Book

Cellular Automata And Complexity : Collected Papers

Stephen Wolfram

Format: Book (Paperback / softback)

£68.99

£57.80

Book (Paperback / softback)

Add to Basket
Lattice Basis Reduction : An Introduction to the LLL Algorithm and Its Applications - Book

Lattice Basis Reduction : An Introduction to the LLL Algorithm and Its Applications

Murray R. Bremner

Format: Book (Hardback)

£110.00

£89.26

Book (Hardback)

Add to Basket
Kurt Godel: Collected Works : Volume I: Publications 1929-1936 - Book

Kurt Godel: Collected Works : Volume I: Publications 1929-1936

Kurt Godel

Format: Book (Paperback / softback)

£59.00

£57.10

Book (Paperback / softback)

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
Ones and Zeros : Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets - Book

Ones and Zeros : Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets

John R. Gregg

Format: Book (Paperback / softback)

£78.95

£61.86

Book (Paperback / softback)

Add to Basket
Introduction to Mathematical Logic (PMS-13), Volume 13 - Book

Introduction to Mathematical Logic (PMS-13), Volume 13

Alonzo Church

Format: Book (Paperback / softback)

£80.00

£54.92

Book (Paperback / softback)

Add to Basket
A Shorter Model Theory - Book

A Shorter Model Theory

Wilfrid (Queen Mary University of London) Hodges

Format: Book (Paperback / softback)

£59.99

£50.56

Book (Paperback / softback)

Add to Basket
Principia Mathematica to *56 - Book

Principia Mathematica to *56

Alfred North Whitehead

Format: Book (Paperback / softback)

£90.99

£74.67

Book (Paperback / softback)

Add to Basket
Lambda Calculus with Types - Book

Lambda Calculus with Types

Henk (Radboud Universiteit Nijmegen) Barendregt

Format: Book (Hardback)

£77.99

£64.71

Book (Hardback)

Add to Basket
Constraint Logic Programming using Eclipse - Book

Constraint Logic Programming using Eclipse

Krzysztof R. (Stichting Centrum voor Wiskunde en Informatica (CWI Apt

Format: Book (Hardback)

£70.99

£59.33

Book (Hardback)

Add to Basket
From Computing to Computational Thinking - Book

From Computing to Computational Thinking

Paul S. (Kent State University, OH, USA) Wang

Format: Book (Paperback / softback)

£66.99

£55.48

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
Nonlinear Dimensionality Reduction - Book

Nonlinear Dimensionality Reduction

John A. Lee

Format: Book (Hardback)

£119.99

£82.76

Book (Hardback)

Add to Basket
The Birth of Model Theory : Loewenheim's Theorem in the Frame of the Theory of Relatives - Book

The Birth of Model Theory : Loewenheim's Theorem in the Frame of the Theory of Relatives

Calixto Badesa

Format: Book (Hardback)

£88.00

£59.65

Book (Hardback)

Add to Basket
The Search for Mathematical Roots, 1870-1940 : Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Godel - Book

The Search for Mathematical Roots, 1870-1940 : Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Godel

Ivor Grattan-Guinness

Format: Book (Paperback / softback)

£115.00

£76.80

Book (Paperback / softback)

Add to Basket
Classical and Nonclassical Logics : An Introduction to the Mathematics of Propositions - Book

Classical and Nonclassical Logics : An Introduction to the Mathematics of Propositions

Eric Schechter

Format: Book (Hardback)

£119.00

£79.31

Book (Hardback)

Add to Basket
Showing 48 - 72 (of 590)
Refine