Formale Logik
Frontmatter -- Inhaltsverzeichnis -- Einleitung -- I. Syllogistik -- II. Klassische Logik der Junktoren -- III. Kalküle der Junktorenlogik -- IV. Effektive Logik der Junktoren -- V. Logik der Quantoren -- VI. Logik der Gleichheit -- Literaturverzeichnis -- Namenverzeichnis -- Sachverzeichnis -- Symbolverzeichnis -- Backmatter