A fundamental effect in computations on real numbers
Tài liệu tham khảo
Ashvinikumar, 1969, The intuitionist contradictory of certain classical set-theoretic results, Nieuw Arch. Wisk., 17, 218
Heyting, 1971
Troelstra, 1977, A note on non-extentional operations in connection with continuity and recursiveness