TY  - JOUR
AU  - Slaviša B. Prešić
TI  - Fin-set: a Syntactical Definition of Finite Sets
JO  - Publications de l'Institut Mathématique
PY  - 2007
SP  - 155 
VL  - _N_S_82
IS  - 96
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_2007_N_S_82_96_a16/
LA  - en
ID  - PIM_2007_N_S_82_96_a16
ER  -