BARLATIER, P.; DAPOIGNY. 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: 4 lip. 2024.