Proof Theory and Logic Programming
Computation as Proof Search
(Author) Dale Miller
Format:
HardCover
£60.00
Price: £58.20
(3% off)
In Stock
(Limited availability – contact us to confirm)
Generally dispatched in 1 to 2 days
Information
Publisher:
Cambridge University Press
Format:
HardCover
Language:
en
ISBN:
9781009561297
Publish year:
2025
Publish date:
Dec. 18, 2025
