Logic and ontology (Univ. Press, 1973)