Workshop on Proof Theory and Complexity (1998 : Århus) Bezüge im Wissensnetz Veranstaltungsort (1) GND Aarhus