Automatisierung des logischen
Denkens
Herausgegeben von
K. H. Bläsius und
H.-J. Bürckert
mit Beiträgen von
Prof. Dr. K. H. Bläsius
Dr. H.-J. Bürckert
Dr. N. Eisinger
Dr. D. Hutter
M. Kohlhase
A. Nonnengart
Dr. H. J. Ohlbach
A. Präcklein
Prof. Dr. J. H. Siekmann
Inhaltsverzeichnis und Vorwort (HTML-Datei)
PDF-Dateien der einzelnen Abschnitte:
PS-Dateien der einzelnen Abschnitte:
0.
Inhaltsverzeichnis und Vorwort (40 KB)
I.
Geschichte und Anwendungen (140 KB)
II.
Grundlagen und Beispiele (470 KB)
III. Die Gleichheitsrelation
IV.
Deduktion als Berechnung (200 KB)
V.
Vollständige Induktion (200 KB)
VI.
Logik höherer Stufe (260 KB)
VII.
Nicht-klassische Logik (370 KB)
VIII.
Anhang: Literaturliste und Index (40 KB)