Title: Normalformen aufzählbarer Prädikate
Subjects: Predicate calculus