scientific article
From MaRDI portal
Publication:3315478
zbMath0533.03002MaRDI QIDQ3315478
Publication date: 1983
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) Second- and higher-order model theory (03C85) Abelian groups (20K99)
This page was built for publication: