Proof-Theoretical Coherence (English, Kosta Dosen | Zoran Petric)
Delivery options
₹2,058
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹2,058
Book Details
Publisher
College Publications
Language
English
ISBN-13
9781904987062
ISBN-10
1904987060
Author
Kosta Dosen | Zoran Petric
About the Book
This book in categorial proof theory formulates in terms of category theory a generalization close to linear algebra of the notions of distributive lattice and Boolean algebra. These notions of distributive lattice category and Boolean category codify a plausible nontrivial notion of identity of proofs in classical propositional logic, which is in accordance with Gentzen's cut-elimination procedure for multiple-conclusion sequents modified by adm…
ISBN: 9781904987062
ISBN-13: 9781904987062
ISBN-10: 1904987060
Frequently Asked Questions
What is the price of Proof-Theoretical Coherence?
Proof-Theoretical Coherence starts from ₹2058 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Proof-Theoretical Coherence?
Kosta Dosen | Zoran Petric is the author of Proof-Theoretical Coherence. Browse more books by Kosta Dosen | Zoran Petric on BookBajar.
Is Proof-Theoretical Coherence available in Paperback and Hardcover?
Yes, Proof-Theoretical Coherence is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Proof-Theoretical Coherence?
Yes, BookBajar offers free delivery for Proof-Theoretical Coherence across India. No minimum order value required.
Is Cash on Delivery available for Proof-Theoretical Coherence?
Yes, Cash on Delivery (COD) is available for Proof-Theoretical Coherence on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9781904987062
🛒 Customers Also Bought
Psychotherapie (English, Rudolf Klußmann)
₹2,251
Rechnerunterstützte Auslegung Von Vorschubantrieben (English, K. -. H. Böbel)
₹4,191
Praktische Energiebedarfsforschung (English, Helmut Schaefer)
₹4,136
1964/65 (English, R. Schwab | W. Becker)
₹4,146
Zulassung Und Praxisverkauf (English, Thomas Ratajczak | Arbeitsgemeinschaft Rechtsanwälte Im Med | Gabriela Schwarz-Schilling)
₹4,190
Computer Aided Engineering Design (English, Anupam Saxena | Birendra Sahay)
₹4,005Related Products
Chemisch-Technische Vorschriften (English, Otto Lange)
₹4,241
Plotinus' Psychology (English, H. J. Blumenthal)
₹5,666
Licht ALS Wellenbewegung (English, L. Grebe | K. F. Herzfeld | W. König)
₹5,195
Grundlagen Der Rinderzucht (English, Johann Ulrich Duerst)
₹4,380
The Paris Lectures (English, Edmund Husserl | Peter Koestenbaum)
₹4,880