scientific article; zbMATH DE number 3792136

MaRDI QIDQ3968907zbMATH OpenFDO

Authors Kurt Hauschild

Publication date 1980

zbMATH Keywords

decidable theorygeneralized Haertig quantifiers

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80)

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