Browse

Proof Theory and Logic Programming : Computation as Proof Search

Name: Proof Theory and Logic Programming : Computation as Proof Search
Brand: Cambridge University Press
SKU: 43450246781

by Cambridge University Press

£60.00

MPN9781009561297

Prices updated 21 May 2026

Compare 1 Retailer

Prices checked 24d ago

TGJones

BEST PRICE

In stock2 - 4 working days

3 deals available

£60.00

Best Price

Amazon

Check live price on Amazon.co.uk

eBay

Check availability and price on eBay.co.uk. Yorkshire.com may be paid for purchases made through this link, by eBay Partner Network.

Check on eBay

Can’t find it elsewhere?

Search Amazon Search eBay

Product Description

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.

More products from TGJones

Browse their full range on Yorkshire.com