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