Some intuitionistic variations on the notion of a finite set of natural numbers
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
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