Browsing index pages (2 articles)
↧
A 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 ArticleAnswer 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 Article
Browsing index pages (2 articles)
/pic9814888.png)
/fit-in/580x348/filters:format(webp)/english-betterindia/media/media_files/2026/09/17/balaghat-3-2026-09-17-18-46-40.png)