Computation Proof Machine
A Hardback by Gilles Dowek, Pierre Guillot, Marion Roman
£75.99
Includes FREE deliveryRRP £79.99 – you save £4.00 (5%)
Order before 4pm today for delivery by Thu 27 Aug 2026.
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Computation Proof Machine by Gilles Dowek