Barlatier P, Dapoigny R. A Monadic Second-Order Version of Tarski’s Geometry of Solids. LLP [Internet]. 2023 Oct. 19 [cited 2024 Jul. 4];33(1):55-99. Available from: https://apcz.umk.pl/LLP/article/view/35945