Answer by Julien Narboux for A textbook on foundations of geometry in spirit...
I don't think there are other books than "Metamathematische Methoden in der Geometrie" (SST) for a systematic development of geometry.We have formalized the first part of SST in Coq, this is the...
View ArticleA textbook on foundations of geometry in spirit of Tarski
I am interested in a textbook for studying (and teaching) foundations of geometry in the spirit of Tarski. I know that there is a rather old German book [W. Schwabhäuser, W. Szmielew, A. Tarski,...
View Article