scientific article
From MaRDI portal
Publication:3338209
zbMath0547.03004MaRDI QIDQ3338209
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication:
