Title: A system of relative existential propositions connected with the relation of class-membership
Subjects: Propositional calculus