«Mathematische Logik» auf Englisch mit Parallelübersetzung