Arend Heyting
died 37 years ago
9th July 1980

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

Find out more at:
http://www-history.mcs.st-andrews.ac.uk/Mathematicians/Heyting.html