Adventures in Formalism
Craig Smorynski
₹2,102
All about Proofs, Proofs for All
by Bruno Woltzenlogel Paleo, David Delahaye
₹1,828
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
The development of new and improved proof systems, proof formats and proof search methods is one of the most essential goals of Logic. But what is a proof? What makes a proof better than another? How can a proof be found efficiently? How can a proof be used? Logicians from different communities usually provide radically different answers to such questions.
Description supplied by the publisher.
Book details
- ISBN-13
- 9781848901667
- ISBN-10
- 1848901666
- Authors
- Bruno Woltzenlogel Paleo, David Delahaye
- Publisher
- College Publications
- Condition
- New
Related books
Handbook of Paraconsistency
J. Y. Beziau, W. Carnielli, D. M. Gabbay
₹2,199
Conceptual Clarifications. Tributes to Patrick Suppes (1922-2014)
Jean-Yves Beziau, Decio Krause, Jonas R. Becker Arenhart
₹1,426
Classification Theory for Abstract Elementary Classes
Saharon Shelah
₹3,045
Second Order Quantifier Elimination
D. M. Gabbay, R. Schmidt, A. Szalas
₹2,736
Errors of Reasoning. Naturalizing the Logic of Inference
John Woods
₹2,041
Logic, Navya-Nyaya and Applications. Homage to Bimak Krishna Matilal
Mihir K. Chakraborti, Benedikt Loewe, Madhabendra Nath Mitra
₹2,042
Model Based Reasoning in Science and Engineering
L. Magnani
₹2,238
Logic, Methodology and Philosophy of Science
P. Hajek, L. Valdes-Villanueva, D. Westerstahl
₹2,241
Classification Theory for Abstract Elementary Classes
Saharon Shelah
₹2,599
Meta-Logical Investigations in Argumentation Networks
Dov M. Gabbay
₹2,436
Handbook of Epistemic Logic
Hans Van Ditmarsch, Joseph Y. Halpern, Wiebe Van Der Hoek
₹2,234