Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
6 Products
6 Products Page
of 1
The Seventeen Provers of the World
Paperback
 
Price: £49.99
Usually dispatched within 3 weeks
Types for Proofs and Programs
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Interactive Theorem Proving
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Intelligent Computer Mathematics
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Hybrid Systems: Computation and Control
Paperback
 
Price: £89.99
Usually dispatched within 3 weeks
Logics and Type Systems in Theory and Practice
Paperback
 
Price: £109.99
Usually dispatched within 3 weeks