%0 Book %T Metamathematische Methoden in der Geometrie %A Schwabhäuser, Wolfram %A Szmielew, Wanda %A Tarski, Alfred %A , %D 1983