Relative Complexities of First Order Calculi (English, Elmar Eder)
by Elmar Eder
Delivery options
₹3,508
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹3,508
Book Details
Publisher
Vieweg+teubner Verlag
Language
English
ISBN-13
9783528051228
ISBN-10
3528051221
Author
Elmar Eder
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
ISBN-13: 9783528051228
ISBN-10: 3528051221
Frequently Asked Questions
What is the price of Relative Complexities of First Order Calculi?
Relative Complexities of First Order Calculi starts from ₹3508 at GlowMirror. Available in Paperback.
Who is the author of Relative Complexities of First Order Calculi?
Elmar Eder is the author of Relative Complexities of First Order Calculi. Browse more books by Elmar Eder on GlowMirror.
Is Relative Complexities of First Order Calculi available in Paperback and Hardcover?
Yes, Relative Complexities of First Order Calculi is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Relative Complexities of First Order Calculi?
Yes, GlowMirror offers free delivery for Relative Complexities of First Order Calculi across India. No minimum order value required.
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 GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783528051228
🛒 Customers Also Bought
Uncertainty Analysis for Engineers and Scientists (English, Faith A. Morrison)
₹5,273
Reading Frege's Grundgesetze (English, Jr. Heck Richard G.)
₹7,294
Introduction to Lattice Dynamics (English, Martin T. Dove | Andrew Putnis | Robert C. Liebermann)
₹16,957
Handbook on Modelling for Discrete Optimization (English, Gautam M. Appa | Leonidas Pitsoulis | H. Paul Williams)
₹12,248
The Meditations of Marcus Aurelius (English, R. B. Rutherford)
₹8,485
Körperzentrierte Psychotherapie Im Dialog (English, Alfred Künzler | Claudia Böttcher | Romana Hartmann)
₹5,694Related Products
Handbook of Psychobiography (English, William Todd Schultz)
₹10,880
Differential Geometry and Statistics (English, Murray M.K.)
₹16,462
Magnetic Resonance Imaging of the Knee (English, Mamoru Niitsu | Ali Guermazi | Daichi Hayashi)
₹7,297
Chirurgie Der Abdominalen Und Thorakalen Aorta (English, R. I. Rückert | Wolfgang Hepp | Bernd Luther)
₹4,237
Feldbussysteme in Der PRAXIS (English, Birgit Scherff | Erwin Haese | Hagen R. Wenzek)
₹3,623