idea number gives full details.     |    back to list of philosophers     |     expand these ideas

Ideas of Arend Heyting, by Text

[Dutch, 1898 - 1980, Pupil of Brouwer.]

1956 Intuitionism: an Introduction
p.187 Logic is dependent on mathematics, not the other way round