Lambda-Calculus and Combinators : An Introduction
J. Roger (University of Wales, Swansea) Hindley
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£64.99
£54.73
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Cryptography : Theory and Practice
Douglas Robert (University of Waterloo, Ontario, Canada) Stinson
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£86.99
£71.61
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Mathematical Logic: Part 1 : Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Rene (, Universite Paris VII) Cori
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£68.79
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Godel's Incompleteness Theorems
Raymond M. (Professor, City College, Professor, City College Smullyan
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£260.00
£247.66
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Modern Logic : A Text in Elementary Symbolic Logic
Graeme (Professor of Philosophy, Professor of Philosophy, Tula Forbes
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£129.99
£104.29
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Shawn (Department of Mathematics, Florida Southern College) Hedman
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£83.00
£78.34
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Mathematical Logic
Ian (Queen Mary, University of London) Chiswell
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£68.00
£56.25
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
The Description Logic Handbook : Theory, Implementation and Applications
Franz Baader
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Hardback)
£85.00
£70.08
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Hardback)
Add to Basket
Higher Topos Theory (AM-170)
Jacob Lurie
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£84.00
£57.42
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Kurt Godel: Collected Works: Volume II : Publications 1938-1974
Kurt Godel
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£92.00
£86.02
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Mathematical Logic: Part 2 : Recursion Theory, Godel's Theorems, Set Theory, Model Theory
Rene (, Universite Paris VII) Cori
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£93.00
£92.40
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Kurt Godel: Collected Works: Volume III : Unpublished Essays and Lectures
Kurt Godel
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£68.00
£65.06
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Understanding Mathematical Proof
John Taylor
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£61.99
£52.10
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Elements of Intuitionism
Michael (Emeritus Professor of Philosophy, Emeritus Professor Dummett
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£232.22
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Cellular Automata And Complexity : Collected Papers
Stephen Wolfram
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£68.99
£57.80
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Kurt Godel: Collected Works : Volume I: Publications 1929-1936
Kurt Godel
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£59.00
£57.10
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Lattice Basis Reduction : An Introduction to the LLL Algorithm and Its Applications
Murray R. Bremner
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£110.00
£89.26
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Logical Labyrinths
Raymond Smullyan
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£105.00
£85.42
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
A Shorter Model Theory
Wilfrid (Queen Mary University of London) Hodges
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£62.99
£52.92
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Principia Mathematica to *56
Alfred North Whitehead
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£95.99
£78.50
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Elementary Categories, Elementary Toposes
Colin (Professor, Department of Philosophy, Professor, Depart McLarty
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£127.50
£125.18
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Lambda Calculus with Types
Henk (Radboud Universiteit Nijmegen) Barendregt
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£77.99
£64.71
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Constraint Logic Programming using Eclipse
Krzysztof R. (Stichting Centrum voor Wiskunde en Informatica (CWI Apt
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£70.99
£59.33
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Introduction to Mathematical Logic (PMS-13), Volume 13
Alonzo Church
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£80.00
£54.92
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket