In Stock
Proof theory and logic programming
Hardback
€87.00
Collect 261 Reward Points
- Free Delivery from
- This Book Is Available Online Only
- Book Synopsis
- This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.
- About The Author
- Dale Miller is Director of Research at INRIA Saclay-+le-de-France. He has been a professor at the University of Pennsylvania, Pennsylvania State University, and the École Polytechnique in France. He served as Editor-in-Chief of the 'ACM Transactions on Computational Logic' and has received an ERC Advanced Investigators Grant, the LICS Test-of-Time Award (twice), and the Dov Gabbay Prize for Logic and Foundations. He is an ACM Fellow.
- Product Details
-
- ISBN
- 9781009561297
- Format
- Hardback
- Publisher
- Cambridge University Press, (18 December 2025)
- Number of Pages
- 334
- Weight
- 620 grams
- Language
- English
- Dimensions
- 235 x 160 x 23 mm
- Categories: