scientific article; zbMATH DE number 3679774

zbMATH Open0436.03004MaRDI QIDQ3875892FDOQ3875892

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

Publication date: 1975

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

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)