D. Van Dantzig. A remark and a problem concerning the intuitionistic form of Cantor's intersection theorem. Nedertandsche Akademie van Wetenschappen, Proceedings of the section of sciences, Bd. 45 Heft 4 (1942), S. 374–375; auch: Indagationes mathematicae, Bd. 4 Heft 2, S. 147-148.
2016 ◽
Vol 18
(3)
◽
pp. 445-463
◽
Keyword(s):
2020 ◽
Vol 26
(3)
◽
pp. 262-271
2020 ◽
Keyword(s):
Keyword(s):
1981 ◽
Vol 2
(2)
◽
pp. 127-129
◽
2014 ◽
Vol 46
(2)
◽
pp. 342-348
◽
2004 ◽
Vol 48
(5-6)
◽
pp. 725-729
◽
Keyword(s):