Logic Server
The contents of the site logik.phl.univie.ac.at have moved to a new location:
- Gateway
to Logic - a collection of web-based logic programs offering a number
of logical functions
- Mobile
truth tables for Android
Die Inhalte des Logikrechners sind zu folgenden Adressen umgezogen:
- Logikübergang
- eine Sammlung von Online-Logikprogrammen
- Wahrheitstabellen für Android
- Das Skriptum
Prädikatenlogik
der ersten Stufe mit Identität (Skriptum Skriptum zur Vorlesung
"Einführung in die Logik" von Dr. Klaus Dethloff