Showing 48 - 72 (of 618)
Refine
Mathematical Logic: Part 1 : Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems - Book

Mathematical Logic: Part 1 : Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Rene (, Universite Paris VII) Cori

Format: Book (Paperback / softback)

£69.68

Book (Paperback / softback)

Add to Basket
Godel's Incompleteness Theorems - Book

Godel's Incompleteness Theorems

Raymond M. (Professor, City College, Professor, City College Smullyan

Format: Book (Hardback)

£260.00

£248.89

Book (Hardback)

Add to Basket
Modern Logic : A Text in Elementary Symbolic Logic - Book

Modern Logic : A Text in Elementary Symbolic Logic

Graeme (Professor of Philosophy, Professor of Philosophy, Tula Forbes

Format: Book (Paperback / softback)

£129.99

£106.21

Book (Paperback / softback)

Add to Basket
Introduction to Mathematical Logic - Book

Introduction to Mathematical Logic

Elliott Mendelson

Format: Book (Hardback)

£105.00

£86.11

Book (Hardback)

Add to Basket
Type Theory and Formal Proof : An Introduction - Book

Type Theory and Formal Proof : An Introduction

Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt

Format: Book (Hardback)

£66.99

£56.65

Book (Hardback)

Add to Basket
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity - Book

£83.00

£79.03

Book (Paperback / softback)

Add to Basket
Mathematical Logic - Book

Mathematical Logic

Ian (Queen Mary, University of London) Chiswell

Format: Book (Paperback / softback)

£68.00

£57.14

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

£58.10

Book (Paperback / softback)

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

£87.20

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.77

Book (Hardback)

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.45

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.57

Book (Paperback / softback)

Add to Basket
Understanding Mathematical Proof - Book

Understanding Mathematical Proof

John Taylor

Format: Book (Paperback / softback)

£61.99

£53.03

Book (Paperback / softback)

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.20

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.96

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

£58.19

Book (Paperback / softback)

Add to Basket
Logical Labyrinths - Book

Logical Labyrinths

Raymond Smullyan

Format: Book (Hardback)

£105.00

£86.11

Book (Hardback)

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.94

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

£60.02

Book (Hardback)

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

£55.60

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

£126.36

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

£63.04

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)

£62.99

£53.80

Book (Paperback / softback)

Add to Basket
Principia Mathematica to *56 - Book

Principia Mathematica to *56

Alfred North Whitehead

Format: Book (Paperback / softback)

£95.99

£79.19

Book (Paperback / softback)

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