The logical structure of mathematical physics - Sneed, Joseph D. 1938-2020 (Synthese library, 1971)