Proof Theory And Logic Programming: Computation As Proof Search

[jitexsubtra]

English | 2025 | ISBN: 1009561294 | 335 pages | True PDF | 2.71 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.

https://rapidgator.net/file/9cd52976...61294.pdf.html