Arend Heyting

1898 - 1980

Heyting thumbnail

Arend Heyting is important in the development of intuitionistic logic and algebra.

Go to the full MacTutor biography