Proof Theory and Logic ProgrammingDale Miller
Proof Theory and Logic Programming
Dale Miller · 2025
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2025
- Language
- English
- Publisher
- Cambridge University Press
- Editions
- 1
- ISBN
- 9781009561297
Data source: Wikidata
More by Dale Miller
Programming with higher-order logicDale Miller
Programming with higher-order logic
Dale Miller · 2012
Logic ProgrammingDale Miller
Logic Programming
Dale Miller · 1993
ICU BookDale Miller
ICU Book
Dale Miller · 2021
Retailing for the 21st CenturyDale Miller
Retailing for the 21st Century
Dale Miller · 2017
Retail marketingDale Miller
Retail marketing
Dale Miller · 2008
A special kind of motherDale Miller
A special kind of mother
Dale Miller · 1974
A Water Source Guide for DowsersDale Miller
A Water Source Guide for Dowsers
Dale Miller · 2022