@article{05296703,
title = {Fin-set: a syntactical definition of finite sets.},
journal = {Publications de l'Institut Math\'ematique. Nouvelle S\'erie},
volume = {82(96)},
year = {2007},
pages = {155-163},
zbl = {1164.03012},
language = {en},
url = {http://dml.mathdoc.fr/item/05296703}
}
Prešić, Slaviša B. Fin-set: a syntactical definition of finite sets.. Publications de l'Institut Mathématique. Nouvelle Série, Tome 82(96) (2007) pp. 155-163. http://gdmltest.u-ga.fr/item/05296703/