Axiomatizable sets on the basis of a system of the propositional calculus
From MaRDI portal
Publication:1250210
zbMath0387.03004MaRDI QIDQ1250210
Publication date: 1978
Published in: Functiones et Approximatio. Commentarii Mathematici (Search for Journal in Brave)
Classical propositional logic (03B05) Foundations of classical theories (including reverse mathematics) (03B30)
This page was built for publication: Axiomatizable sets on the basis of a system of the propositional calculus
