Title: Aussagenlogik
Subjects: Predicate calculus