Algorithms for Constructing Computably Enumerable Sets
Kenneth J. Supowit
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£54.99
£40.53
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Field Arithmetic
Michael D. Fried
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£199.99
£135.40
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
QSPR/QSAR Analysis Using SMILES and Quasi-SMILES
Alla P. Toropova
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£139.99
£95.73
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
First-Order Modal Logic
Melvin Fitting
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£109.99
£76.27
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Why Machines Learn : The Elegant Maths Behind Modern AI
Anil Ananthaswamy
Coming Soon
Format: Book (Hardback)
£30.00
£21.13
Coming Soon
Book (Hardback)
Model Theory : An Introduction
David Marker
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£44.99
£34.04
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
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
Turing Computability : Theory and Applications
Robert I. Soare
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£69.99
£49.98
Out of StockMore expected soonContact us for further information
Book (Hardback)
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
A Course in Model Theory
Katrin Tent
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£54.99
£46.73
Out of StockMore expected soonContact us for further information
Book (Hardback)
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
The Great Formal Machinery Works : Theories of Deduction and Computation at the Origins of the Digital Age
Jan von Plato
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£30.00
£23.25
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Making Up Your Own Mind : Thinking Effectively through Creative Puzzle-Solving
Edward B. Burger
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£16.99
£13.92
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
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
Taking Sudoku Seriously : The Math Behind the World's Most Popular Pencil Puzzle
Jason (Associate Professor of Mathematics, Associate Profe Rosenhouse
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£32.07
Out of StockMore expected soonContact us for further information
Book (Hardback)
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
Mathematical Logic
Heinz-Dieter Ebbinghaus
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£54.99
£40.53
Out of StockMore expected soonContact us for further information
Book (Hardback)
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
Reading, Writing, and Proving : A Closer Look at Mathematics
Ulrich Daepp
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£53.99
£39.87
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
The Birth of Model Theory : Loewenheim's Theorem in the Frame of the Theory of Relatives
Calixto Badesa
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£88.00
£59.65
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Classical and Nonclassical Logics : An Introduction to the Mathematics of Propositions
Eric Schechter
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£119.00
£79.31
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket