MRP: ₹8241
₹6896
₹ 1345 Off
(Incl. of all taxes)
Qty
Buying in bulk?
In stock
Deliver to
- 7-day returns
- Secure payment
- International shipping
- Carefully packed
Get this at ₹ 6551Extra 5% OffAdd items worth ₹999 to the cart & get extra 5% off
Get this at ₹ 6206Extra 10% OffAdd items worth ₹1499 to the cart & get extra 10% off
Book Summary
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.
- ISBN-13
- 9780863802621
- Language
- English
- Binding
- Hard Bound
- Publisher
- Research Studies Press Limited
- Publishing Date
- 2001-01-26
A Treatise on Many-Valued Logics (Studies in Logic and Computation)
by Dr. Gottwald (Author),
Research Studies Press Limited (Publisher)
fictionfantasyyoung adultaward winning
Frequently bought together
A Treatise on Many-Valued Logics (Studies in Logic and Computation)₹6896This item
Maarikaadu₹63
Natyamayuri₹63Total for 3 items₹7022₹8381You save ₹1359
Product Specifications
Book Summary
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