scientific article
From MaRDI portal
Publication:3929722
zbMath0474.03016MaRDI QIDQ3929722
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (1)
This page was built for publication:
