From Trotsky to Godel : The Life of Jean van Heijenoort
Anita Burdman Feferman
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£54.99
£47.11
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketRecursion Theory : Lecture Notes in Logic 1
Joseph R. Shoenfield
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£47.99
£40.89
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketLogic from A to Z : The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms
John B. Bacon
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£35.99
£35.46
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketGoedel's Way : Exploits into an undecidable world
Gregory Chaitin
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£47.99
£41.14
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketSet Theory : Boolean-Valued Models and Independence Proofs
John L. (Professor of Philosophy, University of Western Ontario) Bell
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£47.49
£40.77
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketLogic for Mathematicians
A. G. Hamilton
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£56.99
£48.35
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketTopology via Logic
Steven (Imperial College of Science, Technology and Medicine, Vickers
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£47.99
£41.44
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketInexhaustibility: A Non-Exhaustive Treatment : Lecture Notes in Logic 16
Torkel Franzen
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£45.99
£39.61
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketMiles of Tiles
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£42.95
£42.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketLogic, Induction and Sets
Thomas (University of Cambridge) Forster
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£40.99
£36.07
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketSet Theory for the Working Mathematician
Krzysztof (West Virginia University) Ciesielski
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£45.99
£39.61
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketDependence Logic : A New Approach to Independence Friendly Logic
Jouko (University of Helsinki) Vaananen
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£50.99
£43.75
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket£62.99
£42.18
Unavailable
Book (Paperback)
Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8-10, 1987, Proceedings
Stephane Kaplan
Unavailable
Format: Book (Paperback)
£62.99
£42.18
Unavailable
Book (Paperback)
£53.99
£36.56
Unavailable
Book (Paperback)
DNA Computing : 6th International Workshop on DNA-based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers
Anne Condon
Unavailable
Format: Book (Paperback)
£53.99
£36.56
Unavailable
Book (Paperback)
£62.99
£42.18
Unavailable
Book (Paperback)
Colog-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Per Martin-Lof
Unavailable
Format: Book (Paperback)
£62.99
£42.18
Unavailable
Book (Paperback)
Sorts and Types in Artificial Intelligence : Workshop, Eringerfeld, Frg, April 24-26, 1989, Proceedings
Karl Hans Blasius
Unavailable
Format: Book (Paperback)
£62.99
£42.18
Unavailable
Book (Paperback)
Word Equations and Related Topics : 1st International Workshop, IWWERT '90, Tubingen, Germany, October 1-3, 1990 - Proceedings
Klaus U. Schulz
Unavailable
Format: Book (Paperback)
£62.99
£42.18
Unavailable
Book (Paperback)
Word Equations and Related Topics : Second International Workshop, Iwwert '91, Rouen, France, October 7-9, 1991. Proceedings
Habib Abdulrab
Unavailable
Format: Book (Paperback)
£53.99
£36.56
Unavailable
Book (Paperback)
Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc '97, Vienna, Austria, August 25-29, 1997: Proceedings
Georg Gottlob
Unavailable
Format: Book (Paperback)
£72.00
£47.76
Unavailable
Book (Paperback)
Heyting Algebras : Duality Theory
Leo Esakia
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£49.99
£37.08
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketCan Mathematics Be Proved Consistent? : Godel's Shorthand Notes & Lectures on Incompleteness
Jan von Plato
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£49.99
£37.08
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket