Automated Deduction in Multiple-Valued Logics Hahnle, Reiner 9780198539896 International Series of Monographs on Computer Science Innbundet 06.01.1994 Engelsk Produseres på bestilling