Veldman, Wim

Some intuitionistic variations on the notion of a finite set of natural numbers - Nijmegen: Catholic University, Department of Mathematics, 1995, - 37p. 21cm. - Report 9520 .

Includes bibliographical references


Intuitionistic mathematics
Numbers
Natural
Set theory

MATH QA3.R46 no.9520