scientific article; zbMATH DE number 3084360
From MaRDI portal
Publication:5823273
zbMath0053.00204MaRDI QIDQ5823273
Publication date: 1953
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Some theorems in $B$-algebra, II ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ On implicational definitions ⋮ A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains ⋮ On axiom systems of propositional calculi, XXV
This page was built for publication: