A. Tarski

• Metamathematische Methoden in der Geometrie