Arend Heyting • Altres llengües