Brazilian Conference on Mathematical Logic Bezüge im Wissensnetz Aut (1) DNB-Titeldaten 768076-4 Creator (1) DNB-Titeldaten 768076-4 Veranstaltungsort (1) GND Brasilien