scientific article; zbMATH DE number 7644104
From MaRDI portal
Publication:5871545
DOI10.2143/LEA.254.0.3289654MaRDI QIDQ5871545
Publication date: 20 January 2023
Title of this publication is not available (Why is that?)
Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05)
Related Items (2)
A monadic second-order version of Tarski's geometry of solids ⋮ Full Development of Tarski's Geometry of Solids
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5871545)