Arend Heyting
died 38 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/Biographies/Heyting.html