About infinity, finiteness and finitization (in connection with the foundations of mathematics).
(English)
Zbl 0473.03052
Constructive mathematics, Proc. Conf., Las Cruces/N.M. 1980, Lect. Notes Math. 873, 274-313 (1981).