Books on Amazon
Physics / formulas / ontology / logic / Simons: physical formulas hide a lot of logic: e.g. quantification over body and times, also requires a measurement system that does not appear in the formula - ceteris paribus: is applied when we have partial functions - e.g. if distance and direction are not mentioned, only the two masses are mentioned.
Parts Oxford New York 1987