Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Proof Theory and Logic Programming: Computation as Proof Search

by Dale Miller
Save 5% Save 5%
Current price ₹7,197.00
Original price ₹7,590.00
Original price ₹7,590.00
Original price ₹7,590.00
(-5%)
₹7,197.00
Current price ₹7,197.00

Imported Edition - Ships in 12-14 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Hardcover
  • ISBN13: 9781009561297
  • Binding: Hardcover
  • Subject: N/A
  • Publisher: Cambridge University Press
  • Publisher Imprint: Cambridge University Press
  • Publication Date:
  • Pages: 334
  • Original Price: GBP 60.0
  • Language: English
  • Edition: N/A
  • Item Weight: 613 grams
  • BISAC Subject(s): Languages / General

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

Miller, Dale: - Dale Miller is Director of Research at INRIA Saclay-Île-de-France. He has been a professor at the University of Pennsylvania, Pennsylvania State University, and the École Polytechnique in France. He served as Editor-in-Chief of the 'ACM Transactions on Computational Logic' and has received an ERC Advanced Investigators Grant, the LICS Test-of-Time Award (twice), and the Dov Gabbay Prize for Logic and Foundations. He is an ACM Fellow.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us