Verzeichnis logischer Symbole

Chapters in this book

1. Frontmatter I
2. Inhaltsverzeichnis V
3. Einleitung IX
4. I. Die Vorläufer der modernen Logik 1
5. II. Die Algebra der Logik 10
6. III. Klassische Logik 22
7. IV. Mehrwertige Logik 118
8. V. Modale Logik 145
9. VI. Intuitionistische Logik 166
10. VII. Regellogik 189
11. VIII. Kombinatorische Logik 259
12. IX. Widerspruchsfreiheit — Vollständigkeit — Unabhängigkeit 274
13. X. Das Entscheidungsproblem 301
14. XI. Antinomien 326
15. XII. Syntax — Semantik 340
16. Literaturverzeichnis 380
17. Personenregister 418
18. Stichwortverzeichnis 423
19. Verzeichnis logischer Symbole 443
20. Anhang
21. Der Wahrheitsbegriff in den formalisierten Sprachen 447