Aspekte der Kodierung mathematischer Beweise - Sommerhoff, Daniel (Verfasser); Ufer, Stefan (Verfasser); Brunner, Esther (Verfasser) (Universitätsbibliothek Dortmund, 2019)