Proof Theory and Logic Programming

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.

Product ID / ISBN / EAN	9781009561297
Publisher	Cambridge University Press
Format	Hardback
Condition	New
Language	English
Publication Date	18 Dec 2025
Number of Pages	334
Width	16.1 cm
Height	23.5 cm
Depth	2.6 cm