Heyting
Heyting [hej-] Arend, *9. 5. 1898, niz. matematik a logik; prof. univ. v Amsterdamu. Jeden z čelných představitelů intuicionismu, pokusil se o axiomatizaci íntuicionistické log. Hl. dilo Intuicionism . An Introduction (Uvod do intuicionismu).
