A deductive theory of space and time - Basri, Saul A.; Brouwer, L. E. J. [Ed.]; Heyting, A [Ed.]; Robinson, A. [Ed.] (Amsterdam North-Holland Publishing Company, 1966)
Keywords: Space and Time; Logic