Books on Amazon
Logic/Independence/Field: what is not possible with a set of terms (e.g. a distinction, a proof) is not possible with an extension of the terms where the new terms are merely derived from the old ones (dependent).
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