Language, Proof and Logic

Language, proof, and logic

Aus der Buchbeschreibung:
Language, Proof and Logic umfasst ein Logik-Buch und ein Software-Paket, die eine in sich abgeschlossene Einführung in die grundlegenden Begriffe bieten: Sprache, Wahrheit, Argument, Konsequenz, Beweis und Gegenbeispiel. Der Text setzt keine Logik-Vorkenntnisse voraus und ist geeignet für Einführungs- und Aufbau-Kurse in Logik.

Das vollständige Buch ist hier (auf englisch) verfügbar (nur für interne Verwendung!). Falls Netscape Schwierigkeiten macht, kann man es auch mit

acroread /home/till/www/Lehre/LPL/LPL_book_e.pdf

Hier das Glossar mit deutschen Übersetzungen

Hier eine (allerdings eher unbrauchbare) automatisch erzeugte Übesetzung auf deutsch

Die Software läuft unter Mac und Windows. Unter Linux geht es ggf. mit Wine Allgemeine Tipps zu den Programmen

Tipps für Fitch

Dokumentation für die Software ist hier vorhanden (auf englisch).