Logical structure of mathematical physics door Sneed