TY  - BOOK
AU  - Veldman, Wim
TI  - Some intuitionistic variations on the notion of a finite set of natural numbers
T2  - Report 9520
AV  - MATH QA3.R46 no.9520 
PY  - 1995///,
CY  -  :Nijmegen
PB  - Catholic University, Department of Mathematics
KW  - Intuitionistic mathematics
KW  - Numbers
KW  - Natural
KW  - Set theory
N1  - Includes bibliographical references
ER  -