How to Sell a Contradiction
F. Berto
₹2,399
Proof-Theoretical Coherence
by Kosta Dosen, Zoran Petric
₹2,643
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
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.
Description supplied by the publisher.
Book details
- ISBN-13
- 9781904987062
- ISBN-10
- 1904987060
- Authors
- Kosta Dosen, Zoran Petric
- Publisher
- College Publications
- Condition
- New
Related books
Advances in Modal Logic, V4
M. Zakharyaschev, F. Wolter
₹2,020
Meta-Logical Investigations in Argumentation Networks
Dov M. Gabbay
₹2,436
Langage C++ Et Calcul Scientifique
Pierre Saramito
₹1,587
Logical Reasoning
R. Nederpelt, F. Kamareddine
₹1,941
Logic, Methodology and Philosophy of Science
P. Hajek, L. Valdes-Villanueva, D. Westerstahl
₹2,241
A Treatise on the Binomial Theorem
Craig Smorynski
₹1,751
Handbook of Epistemic Logic
Hans Van Ditmarsch, Joseph Y. Halpern, Wiebe Van Der Hoek
₹2,234
Questions, Inferences, and Scenarios
Andrzej Wisniewski
₹1,353
Knowing, Reasoning, and Acting
Gerhard Lakemeyer, Sheila A. McIlraith
₹2,881
Handbook of Exact String Matching Algorithms
Christian Charras, Thierry Lecroq
₹2,026
The Foundations of Mathematics
Kenneth Kunen
₹2,027