Logic Server

The contents of the site logik.phl.univie.ac.at have moved to a new location:

1. Gateway to Logic - a collection of web-based logic programs offering a number of logical functions
2. Mobile truth tables for Android

Die Inhalte des Logikrechners sind zu folgenden Adressen umgezogen:

1. Logikübergang - eine Sammlung von Online-Logikprogrammen
2. Wahrheitstabellen für Android
3. Das Skriptum Prädikatenlogik der ersten Stufe mit Identität (Skriptum Skriptum zur Vorlesung "Einführung in die Logik" von Dr. Klaus Dethloff