The logical structure of mathematical physics - Sneed, Joseph D. (A Pallas paperback, 1979)