Arend Heyting — Dutch mathematician and logician (1898-1... | namepick