Logical structure of mathematical physics by Sneed