scientific article; zbMATH DE number 3573824
From MaRDI portal
Publication:4145684
zbMath0368.02016MaRDI QIDQ4145684
Publication date: 1977
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 (1)
This page was built for publication:
