This unique textbook states and proves all the major theorems of many-valued propositional logic andProducator: SPRINGER PG