Equivalence relations induced by extensional formulae: classification by means of a new fixed point property

Volume 124 / 1984

Claudio Bernardi, Franco Montagna Fundamenta Mathematicae 124 (1984), 221-233 DOI: 10.4064/fm-124-3-221-233

Authors

  • Claudio Bernardi
  • Franco Montagna

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image