Arend Heyting (1898-1980) was a student of L.E.J. Brouwer and G. Mannoury and the most important exponent in the previous century, after Brouwer, of Brouwer's intuitionism. His main contributions are
The effect of Heyting's expositions should not be underestimated: it is mainly through his clear expositions that intuitionism did not simply bleed to death but remained a stimulating subject for research.
In recent times intuitionistic logic came to play an important role in the development of type theory and automated proof-checking.