Conference on Proof Theory, Provability Logic, and Computation (1994 : Bern) Bezüge im Wissensnetz Veranstaltungsort (1) GND Bern