Hans Heyting

1918–1992