scientific article; zbMATH DE number 3645064

MaRDI QIDQ3050404zbMATH OpenFDO

Authors Martin Weese

Publication date 1977

zbMATH Keywords

decidability of the theory of Boolean algebrasgame theoretic methodslanguages with cardinality quantifiers

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Boolean algebras (Boolean rings) (06E99)

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