1 paper
Pierre Boutry, Stéphane Kastenbaum, Clément Saintier
In 1926-1927, Tarski designed a set of axioms for Euclidean geometry which reached its final form in a manuscript by Schwabhäuser, Szmielew and Tarski in 1983. The differences amou…