Logical structure of mathemat. physics door Sneed