"Arend Heyting"@en . . . "Heyting, Arend"@en . . "1898Z"^^ . "1980-07-09Z"^^ . . . "Arend Heyting (Dutch: [\u02C8\u0266\u025Bi\u032Ft\u026A\u014B]; 9 May 1898 \u2013 9 July 1980) was a Dutch mathematician and logician. He was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic. Heyting gave the first formal development of intuitionistic logic in order to codify Brouwer's way of doing mathematics."@en . "Dutch mathematician" . . . . "1898-05-09Z"^^ . . "1980Z"^^ . . . . .