logical codification¶
transform the semantic structure of Euclid’s text into a strictly numbered symbolic index
GEOMETOR
•
elements
transform the semantic structure of Euclid’s text into a strictly numbered symbolic index