© 2007-2008 Prof. Dr. Alfred Schreiber 
Stand: 2008-10-15

Einführung in die Sprache der Logik

Links und Literatur

Zur Einführung in die (Sprache der) Logik ( pdf)
Tarskis Welt (ein Denkzettel zur Einführung)

Barwise, J.; Etchemendy, J.: The Language of First-Order Logic (incl. Tarski's World 4.0). 3rd. ed., rev. & expanded. CSLI Stanford 1992-1998
Tarski, A.: Einführung in die mathematische Logik. Vandenhoeck & Rupprecht: Göttingen 1966

Logik-Ressourcen

Mathematical Logic Around the World (Univ Bonn)
Logical Systems (Peter Suber)
Logik-Übergang (Christian Gottschall)
Logik-Software für Unterrichtszwecke (Univ Düsseldorf)
Logic software and logic education (Hans van Ditmarsch)
Association of Symbolic Logic

Manchmal etwas unlogisch …