Czerniawski, Jan. 2019. “Time and Physical Geometry. A Formalization of Putnam’s Proof”. Logic and Logical Philosophy 29 (1):97-114. https://doi.org/10.12775/LLP.2019.021.