scientific article; zbMATH DE number 3264071
From MaRDI portal
Publication:5549805
zbMath0165.01903MaRDI QIDQ5549805
Publication date: 1967
Full work available at URL: https://eudml.org/doc/66379
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
The undecidability of simultaneous rigid E-unification ⋮ Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification
This page was built for publication:
