Intuitionistic mathematics.
Overview
| Works: | 8 works in 5 publications in 5 languages | |
|---|---|---|
Titles
One hundred years of intuitionism (1907-2007) = the cerisy conference /
by:
(Language materials, printed)
Logicism, intuitionism, and formalism = what has become of them? /
by:
(Language materials, printed)
Intuitionism resocialized = individuals, communities, and the evolution of mathematical knowledge /
by:
(Electronic resources)
Subjects