Arend Heyting

lived from 1898 to 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/history/
Mathematicians/Heyting.html