HEYTING, Arend [Hrsg.]