scientific article
From MaRDI portal
Publication:3708784
zbMath0584.03020MaRDI QIDQ3708784
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (3)
The word problem for \(Heyting^ *\) algebras ⋮ Unnamed Item ⋮ A uniform method for proving lower bounds on the computational complexity of logical theories
This page was built for publication:
