EntityQ641771· pop 22· linked from 51 articlesArend HeytingSign in to saveDutch mathematician and logician (1898-1980)ConnectionsmathematicsEntityAmsterdamEntitylogicEntityInternational Standard Book NumberEntitymathematicianEntityLuganoEntitydigital object identifierEntitymathematical logicEntityOCLC, Inc.EntityUniversity of AmsterdamEntityUniversity of St AndrewsEntityAlonzo ChurchEntityLuitzen Egbertus Jan BrouwerEntityintuitionismEntityRoyal Netherlands Academy of Arts and SciencesEntityMacTutor History of Mathematics archiveEntityintuitionistic logicEntitydoctoral advisorEntityHeyting algebraEntityEdmund RobertsonEntityCategories1898 births1980 deathsAcademic staff of the University of AmsterdamDutch logiciansDutch mathematiciansIntuitionismMembers of the Royal Netherlands Academy of Arts and SciencesScientists from AmsterdamUniversity of Amsterdam alumni