Arend Heyting
was born 120 years ago
9th May 1898

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


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