Interactive Theorem Proving
2 contributors - Paperback
£44.99
Tests and Proofs
£39.99
Subscribe to our newsletter, and stay in the loop: