Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
Tom 124 / 1984
Fundamenta Mathematicae 124 (1984), 221-233
DOI: 10.4064/fm-124-3-221-233
