-30% OFF

Proof Theory and Logic Programming (English, Dale Miller)

Name: Proof Theory and Logic Programming (English, Dale Miller)
SKU: isbn-9781009561297
Price: 5113.00 INR
Availability: InStock
ISBN: 9781009561297

By Dale MillerCambridge University Press

₹5,113₹7,297Save 30%

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:

Free DeliveryOn every order

15-Day ReturnEasy returns

Verified ListingQuality-checked

Available Offers

🚚Free Delivery — Free shipping on all orders
💵Cash on Delivery — Pay when your order arrives
↩️15-Day Easy Returns — Hassle-free return policy
🔒Cash on Delivery — Pay safely when your order arrives

Check Delivery

Book Details

ISBN-13	9781009561297
ISBN-10	1009561294

Product Description

About the Book

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 theoreti

ISBN: 9781009561297

Frequently Asked Questions

What is the price of Proof Theory and Logic Programming?

Proof Theory and Logic Programming is available at ₹5,113 on BookShops.in.

Does BookShops.in offer free delivery for Proof Theory and Logic Programming?

FREE delivery on all orders for Proof Theory and Logic Programming.

Is Cash on Delivery available for Proof Theory and Logic Programming?

Yes, Cash on Delivery (COD) is available for Proof Theory and Logic Programming on BookShops.in. Pay when your order arrives.

What is the return policy for Proof Theory and Logic Programming?

BookShops.in offers a 15-day hassle-free return policy for Proof Theory and Logic Programming. Contact us at support@bookshops.in or call +91 81899 68108.

Is Proof Theory and Logic Programming authentic?

Proof Theory and Logic Programming is listed on BookShops.in after verification of product details including ISBN, title, and availability information.