Gottlieb, Dale: Ontological economy : substitutional quantification and mathematics. Oxford [u.a.] : Oxford Univ. Pr., 1980