Equivalence Relations Induced by Extensional Formulae: Classification by Means of a New Fixed Point Property
Fundamenta Mathematicae - Poland
doi 10.4064/fm-124-3-221-233
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1984
Authors
Publisher
Institute of Mathematics, Polish Academy of Sciences