bn:00316777n
Noun Named Entity
EL
Arend Heyting
EN
Arend Heyting was a Dutch mathematician and logician. Wikipedia
Relations
Sources