scientific article
From MaRDI portal
Publication:3902984
zbMath0455.03007MaRDI QIDQ3902984
Publication date: 1978
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)
Related Items
This page was built for publication: