TY - RPRT TI - Synthetic Differential Geometry: A Way to Intuitionistic Models of General Relativity in Toposes AU - Y. B. Grinkevich PY - 1996 UR - https://arxiv.org/abs/gr-qc/9608013 ID - gr-qc/9608013 ER -