scientific article; zbMATH DE number 3085173
From MaRDI portal
Publication:5822052
zbMath0053.19714MaRDI QIDQ5822052
Publication date: 1953
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems, Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi, Positive logic and \(\lambda\)-constants, On axiom systems of propositional calculi, XXIII