scientific article
From MaRDI portal
Publication:3987718
zbMath0744.03014MaRDI QIDQ3987718
Publication date: 28 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heyting algebras (lattice-theoretic aspects) (06D20) Decidability of theories and sets of sentences (03B25)
Related Items
On Bellissima's construction of the finitely generated free Heyting algebras, and beyond ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
This page was built for publication: