Zum jetzigen Zeitpunkt sind meine folgenden Programme und Texte im Internet verfügbar:

• Ein Tag im Leben eines Schafes
• Erpelstolz Dosenwurmfabriken
• Logikübergang, eine recht umfangreiche Sammlung von Logikprogrammen mit didaktischem Schwerpunkt
  • Zentrale Verarbeitung (formularbasiert)
  • Beweisprüfer (formularbasiert)
  • Java-basierte "legacy"-Anwendungen
    • Dezentrale Verarbeitung (javabasiert)
    • Beweisbauer nach der Art Lemmons (javabasiert)
    • Beweisbauer nach der Art Fitchs (javabasiert)
    • Beweisbauer für Peircsche Alphagraphen
    • axiomatischer Beweisbauer
    • axiomatischer Beweisbauer für die Principia Mathematica-Axiome
• Logikskriptum, eine Einführung in die Prädikatenlogik der ersten Stufe mit Identität
• Mobile Wahrheitstabellen für Android, ein schneller Weg, auf seinem oder ihrem Android-Mobiltelefon zu einer Wahrheitstafel zu kommen.
• Wahrheitstafelwidget, ein schneller Weg, unter MacOS X an eine Wahrheitstafel zu kommen
• Ein Übungsskriptum zur Aussagen- und Prädikatenlogik (als Ergänzung zum Logikskriptum)
• Wikipedia-Einträge:
  • Eigene
    • Logische Maschine
    • LRR1
    • Existential Graphs (als exzellent ausgezeichnet)
    • Baumkalkül
    • Prädikatenlogik (inzwischen verschlechtert, der Link zeigt aber auf eine korrekte Version)
    • Charles Leonard Hamblin
  • Stark überarbeitete
    • Syllogismus (als lesenswert ausgezeichnet)
    • Aussagenlogik