000 00677nam a2200217Ia 4500
008 230524s9999 xx 000 0 und d
040 _cUDSM
050 _aMATH QA3.R46 no.9520
100 _aVeldman, Wim
_eAuthor
245 0 _aSome intuitionistic variations on the notion of a finite set of natural numbers
260 _a :Nijmegen:
_bCatholic University, Department of Mathematics,
_c1995,
300 _a37p.
_c21cm.
490 _aReport 9520
504 _aIncludes bibliographical references
650 _aIntuitionistic mathematics
650 _aNumbers
650 _aNatural
650 _aSet theory
942 _2lcc
_cRRPT
_n0
942 _cResearch report
_2lcc
999 _c74808
_d74808