scientific article; zbMATH DE number 3679774

MaRDI QIDQ3875892zbMATH OpenFDO

Authors T. Gergely, István Németi, Hajnal Andréka

Publication date 1975

zbMATH Keywords

many-sorted logicmany-sorted languagesone-sorted languages

Mathematics Subject Classification ID

Classical first-order logic (03B10) Abstract data types; algebraic specification (68Q65)

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 Q3875892)