The logical structure of mathematical physics - Sneed, Joseph D. 1938-2020 (Reidel, 1979)