Books on Amazon
Part-of-relation/sets/Field: E.g. "... so that F (y)" - We can also er formulated with "part-of" instead of "so that" (plus quantifier). - N.B.: then there is no reference to sets. - Then no 2nd order logic is required.
Realism, Mathematics and Modality Oxford New York 1989
Truth and the Absence of Fact Oxford New York 2001
Science without numbers Princeton New Jersey 1980