Barlatier, P., & Dapoigny, R. (2023). A Monadic Second-Order Version of Tarski’s Geometry of Solids. Logic and Logical Philosophy, 33(1), 55–99. https://doi.org/10.12775/LLP.2023.019