BARLATIER, Patrick and DAPOIGNY, Richard. A Monadic Second-Order Version of Tarski’s Geometry of Solids. Logic and Logical Philosophy. Online. 19 October 2023. Vol. 33, no. 1, pp. 55-99. [Accessed 13 February 2026]. DOI 10.12775/LLP.2023.019.