Arend Heyting, Heyting, آرند هیتینگ

آرند هیتینگ

(1898 – 1980)
آرند هیتینگ