Springer
Types for Proofs and Programs (English, Henk Barendregt | Tobias Nipkow)
₹5,576
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 | 9783540580850 |
| ISBN-10 | 3540580859 |
Product Description
About the Book
This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993. As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiom…
ISBN: 9783540580850
Frequently Asked Questions
What is the price of Types for Proofs and Programs?
Types for Proofs and Programs is available at ₹5,576 on BookShops.in.
Does BookShops.in offer free delivery for Types for Proofs and Programs?
FREE delivery on all orders for Types for Proofs and Programs.
Is Cash on Delivery available for Types for Proofs and Programs?
Yes, Cash on Delivery (COD) is available for Types for Proofs and Programs on BookShops.in. Pay when your order arrives.
What is the return policy for Types for Proofs and Programs?
BookShops.in offers a 15-day hassle-free return policy for Types for Proofs and Programs. Contact us at support@bookshops.in or call +91 81899 68108.
Is Types for Proofs and Programs authentic?
Types for Proofs and Programs is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
