Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)

From MaRDI portal
Publication:1826435