Equivalence relations induced by extensional formulae: classification by means of a new fixed point property / Bernardi, Claudio; Franco, Montagna. - In: FUNDAMENTA MATHEMATICAE. - ISSN 0016-2736. - STAMPA. - 124:(1984), pp. 221-233.
Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
BERNARDI, Claudio;
1984
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.