Zimmermann, Alexander2020-02-202020-02-202019http://hdl.handle.net/2003/3884110.17877/DE290R-20760deGesellschaft für Didaktik der Mathematik510Didaktische und logische Aspekte der mathematischen Beweismethodikconference contribution