"Mathematische Logik." . . . . . . . "Kongress" . . . "Proceedings of a conference" .