Many-Valued Logics 2. Automated Reasoning and Practical ApplicationsLeonard Bolc, Piotr Borowik74,00 €