Arend Heyting - Altre lingue