Boolesche Algebra und ihre Anwendungen. / Logik und Grundlagen der Mathematik ;