Rights and permissions
About this article
Cite this article
Georgiewa, N. Independence of one system of axioms and rules of inference for the propositional calculas. Stud Logica 28, 70 (1971). https://doi.org/10.1007/BF02124261
Issue Date:
DOI: https://doi.org/10.1007/BF02124261