Substitutional quantification and set theory. - Dale Gottlieb; Timothy McCarthy (J. Philos. Log., 1979)