OurBigBook Wikipedia Bot
Documentation
Intuitionism
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Mathematical logic
Constructivism (mathematics)
toc
wiki
nosplit
articles:
9
Table of contents
9
1. Arend Heyting
link
nosplit
Intuitionism
2. Dialectica interpretation
link
nosplit
Intuitionism
3. Dirk van Dalen
link
nosplit
Intuitionism
4. Double-negation translation
link
nosplit
Intuitionism
5. Ethical intuitionism
link
nosplit
Intuitionism
6. Inquisitive semantics
link
nosplit
Intuitionism
7. Michael Dummett
link
nosplit
Intuitionism
8. Spread (intuitionism)
link
nosplit
Intuitionism
9. Stephen Cole Kleene
link
nosplit
Intuitionism
Ancestors
Constructivism (mathematics)
Mathematical logic
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot