Book

Aussagenlogik: Deduktion und Algorithmen

by Hans Kleine Büning, Theodor Lettmann