Many-Valued Logics - Grzegorz Malinowski
-25% su kodu BOOKS
Pristatymas per 17-23 d.d.
30 dienų grąžinimo politika
This book provides an incisive, basic introduction to many-valued logics and to the constructions that are "many-valued" at their origin. Using the matrix method, the author sheds light on the profound problems of many-valuedness criteria and its classical characterizations. The book also includes information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions ... Visas aprašymas
Aprašymas
This book provides an incisive, basic introduction to many-valued logics and to the constructions that are "many-valued" at their origin. Using the matrix method, the author sheds light on the profound problems of many-valuedness criteria and its classical characterizations. The book also includes information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many-valuedness. With its selective bibliography and many useful historical references, this book provides logicians, computer scientists, philosophers, and mathematicians with a valuable survey of the subject.
Daugiau informacijos
| Autorius | Grzegorz Malinowski |
|---|---|
| Leidėjas | Hurst & Co. |
| Išleidimo metai | 1993 |
| Viršelio tipas | Kieti viršeliai |
| EAN | 9780198537878 |