Proof Theory and Logic Programming
£56.99
Includes FREE deliveryRRP £59.99 – you save £3.00 (5%)
Order before 4pm today for delivery by Wed 17 Jun 2026.
A Hardback by Dale Miller
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Proof Theory and Logic Programming by Dale Miller
Publisher: Cambridge University Press
Publication Date: 31/12/2025
ISBN13: 9781009561297, 978-1009561297
ISBN10: