Many-Valued Logics 2 Automated Reasoning and Practical Applications Bolc Leonard Innbundet / 2003 / Engelsk
Many-Valued Logics 2 Automated Reasoning and Practical Applications Bolc Leonard Heftet / 2010 / Engelsk
