scientific article; zbMATH DE number 7288884

zbMATH Open1487.03076MaRDI QIDQ5141782

Ian Hodkinson

Publication date: 18 December 2020

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5141782)