Title: Distributive normal forms in the calculus of predicates
First published: 1953
Subjects: Logic