College Publications
Proof-Theoretical Coherence (English, Kosta Dosen | Zoran Petric)
₹2,643
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
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
Product Description
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
Book Specifications
| ISBN-13 | 9781904987062 |
| ISBN-10 | 1904987060 |
| Publisher | College Publications |
| Category | College Publications |
Frequently Asked Questions
What is the price of Proof-Theoretical Coherence?
Proof-Theoretical Coherence is available at ₹2,643 on BookShops.in.
Does BookShops.in offer free delivery for Proof-Theoretical Coherence?
FREE delivery on all orders for Proof-Theoretical Coherence.
Is Cash on Delivery available for Proof-Theoretical Coherence?
Yes, Cash on Delivery (COD) is available for Proof-Theoretical Coherence on BookShops.in. Pay when your order arrives.
What is the return policy for Proof-Theoretical Coherence?
BookShops.in offers a 15-day hassle-free return policy for Proof-Theoretical Coherence. Contact us at [email protected] or call +91 81899 68108.
Is Proof-Theoretical Coherence authentic?
Proof-Theoretical Coherence is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
de Gruyter
Gesamtbeschäftigung, Konjunkturen, Wachstum (English, Andreas Paulsen)
₹4,352
CRC Press
Advanced Linear Models | by Shein-Chung Chow | Song-Gui Wang | CRC Press | by Shein-Chung Chow | Song-Gui Wang | CRC Press | by Shein-Chung Chow | Song-Gui Wang | CRC Press | by Shein-Chung Chow | Song-Gui Wang | CRC Press | by Shein-Chung Chow | Song-Gui Wang | CRC Press | by Shein-Chung Chow | Song-Gui Wang | CRC Press | by Shein-Chung Chow | Song-Gui Wang | CRC Press | by Shein-Chung Chow | Song-Gui Wang | CRC Press | by Shein-Chung Chow | Song-Gui Wang | CRC Press | by Shein-Chung Chow | Son
₹4,529
Springer Publishing Company
Eye Movement Desensitization and Reprocessing (EMDR)Therapy Scripted Protocols and Summary Sheets | by Marilyn Luber | Springer Publishing Company | by Marilyn Luber | Springer Publishing Company | by Marilyn Luber | Springer Publishing Company | by Marilyn Luber | Springer Publishing Company | by Marilyn Luber | Springer Publishing Company | by Marilyn Luber | Springer Publishing Company | by Marilyn Luber | Springer Publishing Company | by Marilyn Luber | Springer Publishing Company | by Maril
₹4,401
Quest Books,U.S.
Gnosticism | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Quest Books,U.S. | by Ana Teresa Gutierrez-San Martin | Qu
₹1,331
Rowman & Littlefield Publishers
Stubborn Fact and Creative Advance | by C. S. C. Thomas E. Hosinski | Rowman & Littlefield Publishers | by C. S. C. Thomas E. Hosinski | Rowman & Littlefield Publishers | by C. S. C. Thomas E. Hosinski | Rowman & Littlefield Publishers | by C. S. C. Thomas E. Hosinski | Rowman & Littlefield Publishers | by C. S. C. Thomas E. Hosinski | Rowman & Littlefield Publishers | by C. S. C. Thomas E. Hosinski | Rowman & Littlefield Publishers | by C. S. C. Thomas E. Hosinski | Rowm
₹4,501
Routledge
The Shorter Logical Investigations (English, Husserl Edmund | Dermot Moran | J. N. Findlay)
₹3,823
Related Products
View All
College Publications
Set Theory (English, Kenneth Kunen)
₹2,003
College Publications
Knowing, Reasoning, and Acting (English, Gerhard Lakemeyer | Sheila A. McIlraith)
₹2,881
College Publications
Meta-Logical Investigations in Argumentation Networks (English, Dov M. Gabbay)
₹2,436
College Publications
Adventures in Formalism (English, Craig Smorynski)
₹2,102
College Publications
A Treatise on the Binomial Theorem (English, Craig Smorynski)
₹1,751
College Publications
Logical Reasoning (English, R. Nederpelt | F. Kamareddine)
₹1,941