Proof Theory and Logic Programming : Computation as Proof Search
by
Dale Miller
Book Details
Format
Hardback or Cased Book
ISBN-10
1009561294
ISBN-13
9781009561297
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Dec 31st, 2025
Print length
400 Pages
Ksh 10,800.00
Werezi Extended Catalogue
Delivery in 14 days
Delivery Location
Delivery fee: Select location
Delivery in 14 days
Secure
Quality
Fast
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.
Get Proof Theory and Logic Programming by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
