BARLATIER, Patrick; DAPOIGNY, Richard. A Monadic Second-Order Version of Tarski’s Geometry of Solids. Logic and Logical Philosophy, [S. l.], v. 33, n. 1, p. 55–99, 2023. DOI: 10.12775/LLP.2023.019. Disponível em: https://apcz.umk.pl/LLP/article/view/35945. Acesso em: 13 feb. 2026.