Computation Proof Machine
£75.99
Includes FREE deliveryRRP £79.99 – you save £4.00 (5%)
Order before 4pm today for delivery by Mon 22 Jun 2026.
A Hardback by Gilles Dowek, Pierre Guillot, Marion Roman
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Computation Proof Machine by Gilles Dowek
Publisher: Cambridge University Press
Publication Date:
ISBN13: 9780521118019, 978-0521118019
ISBN10: