Proof Theory and Logic Programming : Computation as Proof Search

Name: Proof Theory and Logic Programming
Brand: Cambridge University Press
SKU: 9781009561297
Price: 10850 KES
Availability: InStock
ISBN: 9781009561297

by Dale Miller

Book Details

Format Hardback

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 18th, 2025

Print length 334 Pages

Weight 626 grams

Dimensions 23.50 x 16.10 x 2.60 cms

Product Classification: Program concepts / learning to program Programming techniques Programming & scripting languages: general Programming and scripting languages: general Computer architecture & logic design Computer architecture and logic design

KSh 10,850.00

Werezi Extended Catalogue Delivery in 12 days 1 copies in stock

Delivery Location

County

Location

Delivery fee: Select location

Delivery in 12 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 Dale Miller 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 334 pages.