TY  - JOUR
AU  - Claudio Bernardi
AU  - Franco Montagna
TI  - Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
JO  - Fundamenta Mathematicae
PY  - 1984
SP  - 221
EP  - 233
VL  - 124
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-124-3-221-233/
DO  - 10.4064/fm-124-3-221-233
LA  - en
ID  - 10_4064_fm_124_3_221_233
ER  -