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 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.
Mind, Body, & Spirit
Shopping Cart
Africa largest book store
Sub Total:
Digital Library
Coming Soon
Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.