Proof-Theoretical Coherence (English, Kosta Dosen | Zoran Petric)
Delivery options
₹2,058
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: ₹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 GlowMirror. Available in Paperback.
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 GlowMirror.
Is Proof-Theoretical Coherence available in Paperback and Hardcover?
Yes, Proof-Theoretical Coherence is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Proof-Theoretical Coherence?
Yes, GlowMirror 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 GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9781904987062
🛒 Customers Also Bought
The Meditations of Marcus Aurelius (English, R. B. Rutherford)
₹8,485
Neural Network Modeling (English, P. S. Neelakanta | Dolores Degroff)
₹23,693
Fundamentals of Magnonics (English, Rezende | Sergio M.)
₹6,128
Introduction to the Theory of Ferromagnetism (English, Amikam Aharoni)
₹28,056
Archaeology Under Dictatorship (English, Michael L. Galaty | Charles Watkinson)
₹11,500
Collective Dynamics of Nonlinear and Disordered Systems (English, Günter Radons | Wolfram Just | Peter Häussler)
₹17,390Related Products
Potential Theory in the Complex Plane (English, Thomas Ransford | C. M. Series | J. W. Bruce)
₹6,670
Mathematical Logic (English, Rene Cori | Daniel Lascar | Ren? Cori)
₹19,604
Rotodynamic Pump Design (English, R. K. Turton)
₹5,705
International Migration, Remittances, and the Brain Drain (English, Maurice Schiff | Çaglar Özden)
₹3,846
Introduction to Lattice Dynamics (English, Martin T. Dove | Andrew Putnis | Robert C. Liebermann)
₹16,957