Return to Article Details A Monadic Second-Order Version of Tarski’s Geometry of Solids Download Download PDF