green numbers give 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
|
8754
|
Logic is dependent on mathematics, not the other way round [Shapiro]
|