Properties Preserved under Definitional Equivalence and Interpretations

From MaRDI portal
Publication:4194943