-11% OFFCambridge University Press
Basic Proof Theory (English, Anne S. Troelstra | A. S. Troelstra | H. Schwichtenberg)
₹5,341₹6,033Save 11%
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 | 9780521779111 |
| ISBN-10 | 0521779111 |
Product Description
About the Book
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively s…
ISBN: 9780521779111
Frequently Asked Questions
What is the price of Basic Proof Theory?
Basic Proof Theory is available at ₹5,341 on BookShops.in.
Does BookShops.in offer free delivery for Basic Proof Theory?
FREE delivery on all orders for Basic Proof Theory.
Is Cash on Delivery available for Basic Proof Theory?
Yes, Cash on Delivery (COD) is available for Basic Proof Theory on BookShops.in. Pay when your order arrives.
What is the return policy for Basic Proof Theory?
BookShops.in offers a 15-day hassle-free return policy for Basic Proof Theory. Contact us at support@bookshops.in or call +91 81899 68108.
Is Basic Proof Theory authentic?
Basic Proof Theory is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
