Proof Theory and Logic Programming: Computation as Proof Search - Miller, Dale (INRIA Saclay-Ile-de-France) - Books - Cambridge University Press - 9781009561297 - December 18, 2025
In case cover and title do not match, the title is correct

Miller, Dale (INRIA Saclay-Ile-de-France)
Proof Theory and Logic Programming: Computation as Proof Search

Price
$ 78.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 31 - Aug 5
Get notified about new Miller, Dale (INRIA Saclay-Ile-de-France) releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 18, 2025
ISBN13 9781009561297
Publishers Cambridge University Press
Pages 334
Dimensions 161 × 235 × 26 mm   ·   626 g
Language English  

More from the same publisher

See all of Miller, Dale (INRIA Saclay-Ile-de-France) ( e.g. Hardcover Book )