Title: Distributive normal forms in the calculus of predicates
Subjects: Symbolic and mathematical Logic