₹6886
₹8228
(16% Off)
Inclusive of all taxes
Qty
Buying in bulk?
In Stock
Guaranteed Service
Free Home Delivery
above ₹199
Check Delivery
Enter pincode for exact delivery dates / charges and to know if express delivery is available
A Treatise on Many-Valued Logics (Studies in Logic and Computation)
by Dr. Gottwald (Author),
Research Studies Press Limited (Publisher)
Product Specifications
Book Description
A growing interest in many-valued logics has developed over recent years, which
to a large extent is based on applications, intended as well as already realised
ones. These applications range from the field of computer science, e.g. in the
areas of automated theorem proving, approximate reasoning, multi-agent systems,
switching theory, and program verification, through the field of pure
mathematics, e.g. in independence of consistency proofs, in generalised set
theories, or in the theory of particular algebraic structures.
Book Specifications
ISBN-13 9780863802621
Language English
Binding Hard Bound
Publisher Research Studies Press Limited
Publishing Date 2001-01-26