Topic summaryArend Heyting Expand Summary Arend Heyting (Dutch:; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. Wikipedia source
