VI Intuitionistische Logik

Chapters in this book

1. Frontmatter I
2. Inhaltsverzeichnis V
3. Vorwort zur 3. Auflage IX
4. Vorwort zur 4. Auflage X
5. Einleitung XI
6. I Zur Geschichte der Logik 1
7. II Die Algebra der Logik 23
8. III Klassische Logik 57
9. IV Mehrwertige Logik 129
10. V Modale Logik 154
11. VI Intuitionistische Logik 182
12. VII Regellogik 203
13. VIII Kombinatorische Logik 273
14. IX Widerspruchsfreiheit — Vollständigkeit — Unabhängigkeit 286
15. X Das Entscheidungsproblem 329
16. XI Antinomien 371
17. XII Syntax — Semantik 384
18. Anhang
19. Der Wahrheitsbegriff in den formalisierten Sprachen 445
20. Literaturverzeichnis 547
21. Personenregister 605
22. Stichwortverzeichnis 613
23. Verzeichnis logischer Symbole 632