TY - JOUR AU - Prešić, Slaviša B. TI - Fin-set: a syntactical definition of finite sets. JO - Publications de l 'Institut Mathématique. Nouvelle Série PY - 2007 SP - 155 VL - 82(96) PB - mathdoc UR - https://geodesic-test.mathdoc.fr/item/PIM2_2007__82(96)_258339/ LA - en ID - PIM2_2007__82(96)_258339 ER -