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