Non-Fiction, Computing & Internet
Proof Theory and Logic Programming

Proof Theory and Logic Programming: Computation as Proof Search

Hardback Published on: 18/12/2025
£60.00
No reviews yet, be the first
Free UK delivery on orders over £25
In stock
Usually dispatched within 1-2 days
Make and edit your lists in your account
No stock available in any shop.
In stock
Usually dispatched within 1-2 days
No stock available in any shop.

Publisher information

  • Publisher: Cambridge University Press
  • ISBN: 9781009561297
  • Number of pages: 334
  • Dimensions: 229 x 152 x 19 mm
  • Weight: 652g
  • Languages: English

Customer Reviews