- Autologic - AutoLogic ist ein Java-Applet, welches aussagenlogische Formeln auswerten kann. Das Ergebniss wird mittels einer Wahrheitstafel dargestellt.
- Die Herkunft der Mathematik - Neue, interessante und einfach logische mathematisch und geometrische Entdeckungen.
- 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.
- Zahlentheorie, Elliptische Kurven und Kryptographie - Eine Skriptsammlung der Universität Erlangen-Nürnberg.
