Advances in Proof Theory (Veranstaltung : 2013 : Bern) Bezüge im Wissensnetz Veranstaltungsort (1) GND Bern Gefeierte Person (1) GND Jäger, Gerhard Homepage (1) GND apt13.unibe.ch