scientific article; zbMATH DE number 3378895
From MaRDI portal
Publication:5650671
zbMath0239.02014MaRDI QIDQ5650671
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Undecidable iterative propositional calculus ⋮ Nontabularity of the logic S4 with respect to functional completeness
This page was built for publication: