Logik für die Informatik: Eine Einführung in Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie

Grundgesetze und Methoden der Logik: in Aussagenlogik, Prädikatenlogik, modaler Logik, Zeitlogik mehrwertiger Logik

Vom Problem zum Programm: Eine Einführung in die Informatik (Leitfäden und Monographien der Informatik)

Einfuehrung in die Homoeopathie

Mathematik für Informatik und Data Science: Eine fundierte Einführung in Logik, Analysis,...