scientific article; zbMATH DE number 3346339
From MaRDI portal
Publication:5622181
zbMath0218.02044MaRDI QIDQ5622181
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
The automation of syllogistic. I: Syllogistic normal forms ⋮ Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator
This page was built for publication:
