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.
Vedische Mathematik Rechentricks der Veden zum leichteren Rechnen in speziellen Fällen.
