Aussagenlogik: Deduktion und Algorithmen Deduktion und Algorithmen Lettmann Theodor Heftet / 1994 / Tysk
