The logical structure of mathematical physics - Sneed, Joseph D. (Reidel, 1971)