Disambiguation evidence for Arend Heyting via surface form
"Arend Heyting"
Triples (8)
Triples where some other subject referred to this entity
as "Arend Heyting".
Brouwer–Heyting–Kolmogorov interpretation
→
namedAfter
→
"Arend Heyting"
ⓘ
↳ resolves to Arend Heyting
Brouwer–Heyting–Kolmogorov interpretation
→
historicalContributor
→
"Arend Heyting"
ⓘ
↳ resolves to Arend Heyting
Recursive Functions and Intuitionistic Mathematics
→
influencedBy
→
"Arend Heyting"
ⓘ
↳ resolves to Arend Heyting
The Philosophical Basis of Intuitionistic Logic
→
influencedBy
→
"Arend Heyting"
ⓘ
↳ resolves to Arend Heyting