Autologic - AutoLogic ist ein Java-Applet, welches aussagenlogische Formeln auswerten kann. Das Ergebniss wird mittels einer Wahrheitstafel dargestellt.
Mathematische Logik - Eine Sammlung von Skripten zu den Themen Logik und Mengenlehre.
Mathematische Scripta an der Universität Linz - Die Seite beinhaltet einige Skripten zu verschiedenen mathematischen Problemen und Bereichen. Die Dokumente sind im GZIP-Format sowie im PS-Format vorrätig.