Proof Theory as Mathesis Universalis (Veranstaltung : 2017 : Menaggio-Loveno) Bezüge im Wissensnetz Veranstaltungsort (1) GND Loveno (Menaggio)