Proof Theory and Logic Programming (English, Dale Miller)-30% OFF
Computers & Internet

Proof Theory and Logic Programming (English, Dale Miller)

5,1137,297Save 30%

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

Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free DeliveryFree shipping on all orders
  • 💵Cash on DeliveryPay when your order arrives
  • ↩️15-Day Easy ReturnsHassle-free return policy
  • 🔒Cash on DeliveryPay safely when your order arrives

Check Delivery

Book Details

ISBN-139781009561297
ISBN-101009561294

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.