Arend Heyting
died 39 years ago
9th July 1980

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


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