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
Abstract

Available in full text

Date
Authors
Publisher

Institute of Mathematics, Polish Academy of Sciences


Related search