Proof Theory and Logic Programming: Computation as Proof Search

Language: English

Published by Cambridge University Press, 2025

1009561294 / 9781009561297

  • Hardcover
  • New
See all details

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

AbeBooks seller since August 2, 2010

Hardcover

Condition: New

£ 61.71

£ 15.49 shipping 
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Seller Inventory # 6666-GRD-9781009561297

Title
Proof Theory and Logic Programming: Computation as Proof Search
Author
Miller, Dale Dale Miller,
Publisher
Cambridge University Press
Publication year
2025
Condition
New
Binding
hardcover
Language
English
ISBN 10
1009561294
ISBN 13
9781009561297

Chiron Media

Wallingford, United Kingdom

5-star seller

AbeBooks seller since August 2, 2010

Shipping rates from United Kingdom to U.S.A.

Item14 to 21 business days14 to 21 business days
First item£ 15.49£ 15.49
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Seller's business information

WRAP Ltd

Unit 4, 119 Loverock Rd
Reading, United Kingdom RG30 1DZ