Frontmatter -- Inhalt -- Einleitung -- Teil I: Aussagenlogik -- 1. Die Minimale Aussagenlogik -- 2. Die direkte Aussagenlogik -- 3. Klassische Aussagenlogik -- Teil II: Prädikatenlogik -- 4. Minimale Prädikatenlogik -- 5. Direkte Prädikatenlogik -- 6. Die klassische Prädikatenlogik -- 7. Erweiterungen der Prädikatenlogik -- 8. Typenlogik -- Teil III: Klassenlogik -- 9. Klassische Mengenlehre -- 10. Minimale Klassenlogik -- 11. Direkte Klassenlogik -- 12. Axiomatische Mengenlehre -- Literatur -- Symbole, Abkürzungen, Kalküle -- Backmatter