TY  - BOOK
AU  - Basri, Saul A.
AU  - Brouwer, L. E. J. [Ed.]
AU  - Heyting, A [Ed.]
AU  - Robinson, A. [Ed.]
TI  - A deductive theory of space and time
U1  - 160 
PY  - 1966///
CY  - Amsterdam
PB  - North-Holland Publishing Company
KW  - Space and Time
KW  - Logic
ER  -