scientific article; zbMATH DE number 3545629
From MaRDI portal
Publication:4120566
zbMath0351.02017MaRDI QIDQ4120566
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
This page was built for publication:
