Finitely axiomatizable sets on the basis of a system of the propositional calculus

zbMath0363.02053MaRDI QIDQ1240236

Jerzy Czajsner

Publication date: 1976

Published in: Functiones et Approximatio. Commentarii Mathematici (Search for Journal in Brave)

Mathematics Subject Classification ID

Classical propositional logic (03B05) General logic (03B99)