W. Szmielew

• Metamathematische Methoden in der Geometrie