In the early 60s, Wanda Szmielew and
Alfred Tarski started the project of a
treaty about the foundations of geometry. A systematic development of
euclidean geometry based on
Tarski's axioms was supposed to constitute the first part, but the
early death of Wanda Szmielew put an end to this project.
Finally, Wolfram Schwabhäuser continued the project of Wanda
Szmielew and Alfred Tarski. He published the treaty in 1983 in German :
Metamathematische Methoden in der
Geometrie.