Logical structure of mathematical physics - Sneed, Joseph D (London D. Reidal, 1979)