scientific article
From MaRDI portal
Publication:3709919
zbMath0585.68079MaRDI QIDQ3709919
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Set theory in first-order logic: Clauses for Gödel's axioms, A structure-preserving clause form translation, Topological syllogistic with continuous and closed functions, IMPS: An interactive mathematical proof system
