Arend Heyting

1898 - 1980


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

Go to the full MacTutor biography