Logical structure of mathemat. physics by Sneed