(03F30 03F40 03G25)
Bernardi, Claudio; Montagna, Franco Equivalence relations induced by extensional formulae: classification by means of a new fixed point property.Fund. Math. 124 (1984), no. 3, 221–233.
For users without a
, Relay Station allows linking from MR numbers in online mathematical literature
directly to electronic journals and original articles.
Subscribers receive the added value of full MathSciNet reviews.