English | 2025 | ISBN: 978-1009561297 | 334 Pages | PDF | 10 MB
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.
Homepage
Download from free file storage
Resolve the captcha to access the links!
