-28% OFFCambridge University Press
The Clausal Theory of Types (English, D. A. Wolfram)
₹5,410₹7,497Save 28%
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 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 | 9780521395380 |
| ISBN-10 | 0521395380 |
Product Description
About the Book
This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and complete declarative and operational semantics. The language is very powerful, supporting higher-order equation…
ISBN: 9780521395380
Frequently Asked Questions
What is the price of The Clausal Theory of Types?
The Clausal Theory of Types is available at ₹5,410 on BookShops.in.
Does BookShops.in offer free delivery for The Clausal Theory of Types?
FREE delivery on all orders for The Clausal Theory of Types.
Is Cash on Delivery available for The Clausal Theory of Types?
Yes, Cash on Delivery (COD) is available for The Clausal Theory of Types on BookShops.in. Pay when your order arrives.
What is the return policy for The Clausal Theory of Types?
BookShops.in offers a 15-day hassle-free return policy for The Clausal Theory of Types. Contact us at support@bookshops.in or call +91 81899 68108.
Is The Clausal Theory of Types authentic?
The Clausal Theory of Types is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
