On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy

From MaRDI portal
(Redirected from Publication:801898)