1 1

DaleMiller

Proof Theory and Logic Programming: Computation as Proof Search

Proof Theory and Logic Programming: Computation as Proof Search

💎 Earn 283 Points (£2.83) on this item.

Low Stock: Only 1 copies remaining
£56.64 GBP
£60.00 GBP £56.64 GBP
Sale Sold out
Taxes included. Shipping calculated at checkout.

YOU SAVE £3.36

  • Condition: Brand new
  • UK Delivery times: Usually arrives within 2 - 3 working days
  • UK Shipping: Fee starts at £3.89. Subject to product weight & dimension

Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
  • More about Proof Theory and Logic Programming: Computation as Proof Search

Format: Hardback
Length: 334 pages
Publication date: 31 December 2025
Publisher: Cambridge University Press

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.


ISBN-13: 9781009561297

UK and International shipping information

We deliver throughout the United Kingdom and to 128 countries and territories worldwide, including the United States, Australia, Canada, Germany, Spain and France.

View full UK and international delivery information.

View full details