Reflections on Bishop's philosophy of mathematics
Reprint from Constructive mathematics, Proc. Conf., Las Cruces/N.M. 1980, Lect. Notes Math. 873, 135-145 (1981; Zbl 0467.03003).
scientific article; zbMATH DE number 3843723