Type Theory and Formal Proof : An Introduction
Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Elements of 8-Category Theory
Emily (The Johns Hopkins University, Maryland) Riehl
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday
Byunghan (Yonsei Univ, South Korea) Kim
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£91.00
£85.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket£613.80
Item not Available
Book (CD-ROM)
Introduction to Logic and to the Methodology of Deductive Sciences
The late Alfred Tarski
Out of stock
Format: Book (Hardback)
Structural Ramsey Theory of Metric Spaces and Topological Dynamics of Isometry Groups
L. Nguyen Van The
Download - Immediately Available
Format: eBook (PDF)
Automata, Languages and Programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings
Giorgio Ausiello
Item not Available
Format: Book (Paperback / softback)
£94.50
£77.35
Item not Available
Book (Paperback / softback)
Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings
Xiangdong He
Item not Available
Format: Book (Paperback / softback)
£67.99
£56.35
Item not Available
Book (Paperback / softback)
Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Alexandru Baltag
Item not Available
Format: Book (Paperback / softback)
£79.99
£65.85
Item not Available
Book (Paperback / softback)
Developments in Language Theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings
Tero Harju
Item not Available
Format: Book (Paperback / softback)
£74.99
£61.89
Item not Available
Book (Paperback / softback)
Iterative Solution Methods
Owe (Katholieke Universiteit Nijmegen, The Netherlands) Axelsson
Out of stock
Format: Book (Paperback / softback)
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Hans Kleine Buning
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Categorical Logic and Type Theory : Volume 141
B. (Computing Science Institute, University of Nijmegen, The N Jacobs
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£99.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketTransform Methods in Applied Mathematics : An Introduction
Peter Lancaster
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£181.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketComputer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Erich Gradel
Item not Available
Format: Book (Paperback / softback)
£94.50
£77.35
Item not Available
Book (Paperback / softback)
Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Erich Gradel
Download - Immediately Available
Format: eBook (PDF)
The Traveling Salesman Problem : A Guided Tour of Combinatorial Optimization
E. L. (University of California, Berkeley) Lawler
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£396.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketNew Directions in Rough Sets, Data Mining, and Granular-Soft Computing : 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings
Ning Zhong
Download - Immediately Available
Format: eBook (PDF)
Theorems, Corollaries, Lemmas, and Methods of Proof
Richard J. (Montana Tech, The University of Montana) Rossi
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£129.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketBounds for Determinants of Linear Operators and their Applications
Michael (Ben Gurion University of the Negev, Israel) Gil'
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£155.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketMetamathematics of First-Order Arithmetic
Petr (Academy of Sciences of the Czech Republic, Prague) Hajek
Out of stock
Format: Book (Hardback)
Bounded Arithmetic, Propositional Logic and Complexity Theory
Jan (Academy of Sciences of the Czech Republic, Prague) Krajicek
Out of stock
Format: Book (Hardback)
Matrix Logic and Mind : A Probe into a Unified Theory of Mind and Matter
A. (Van Nijenrodeweg 912, 1081 BK Amsterdam, The Netherlands) Stern
Out of stock
Format: Book (Hardback)
Sketches of an Elephant: A Topos Theory Compendium : 2 Volume Set
Peter T. (, Reader in the Foundations of Mathematics, Unive Johnstone
Out of stock
Format: Book (Multiple-component retail product)