Arend Heyting

died 40 years ago

9 July 1980

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

Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Heyting/