scientific article
From MaRDI portal
zbMath0545.03041MaRDI QIDQ3335783
Publication date: 1983
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, Variations on a theme of Curry