Title: Klassische und nichtklassische Aussagenlogik
Subjects: Predicate calculus, Logic, symbolic and mathematical