Vieweg+teubner Verlag
Relative Complexities of First Order Calculi (English, Elmar Eder)
₹3,508
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 | 9783528051228 |
| ISBN-10 | 3528051221 |
Product Description
About the Book
In this paper, a comparison is made of several proof calculi in terms of the lengths of shortest proofs for some given formula of first order predicate logic with function symbols. In particular, we address the question whether, given two calculi, any derivation in one of them can be simulated in the other in polynomial time. The analogous question for propositional logic has been intensively studied by various authors because of its implications…
ISBN: 9783528051228
Frequently Asked Questions
What is the price of Relative Complexities of First Order Calculi?
Relative Complexities of First Order Calculi is available at ₹3,508 on BookShops.in.
Does BookShops.in offer free delivery for Relative Complexities of First Order Calculi?
FREE delivery on all orders for Relative Complexities of First Order Calculi.
Is Cash on Delivery available for Relative Complexities of First Order Calculi?
Yes, Cash on Delivery (COD) is available for Relative Complexities of First Order Calculi on BookShops.in. Pay when your order arrives.
What is the return policy for Relative Complexities of First Order Calculi?
BookShops.in offers a 15-day hassle-free return policy for Relative Complexities of First Order Calculi. Contact us at support@bookshops.in or call +91 81899 68108.
Is Relative Complexities of First Order Calculi authentic?
Relative Complexities of First Order Calculi is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
