Intelligence Cooperation Practices in the 21st Century
M. Tuzuner
₹3,568
Conditional and Preferential Logics
Proof Methods and Theorem Proving
IOS Press, Incorporated · 2010
₹4,124
Free delivery. Nothing extra to pay at checkout.
- 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.
About this book
Conditional and Preferential Logics: Proof Methods and Theorem Proving by G. L. Pozzato is a book published by IOS Press, Incorporated in 2010.
The book deals with Proof theory.
Subjects
Book details
- ISBN-13
- 9781607500957
- ISBN-10
- 1607500957
- Author
- G. L. Pozzato
- Publisher
- IOS Press, Incorporated
- Published
- 2010
- Language
- English
- Condition
- New