A deductive theory of space and time - Basri, Saul A. (Studies in Logic, 1966)