Many-Valued Logics 2 : Automated Reasoning and Practical Applicat This textbook is the latest edition, so all information is current.
