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