A simple decision procedure for one-variable implication/negation formulae in intuitionist logic

From MaRDI portal
Publication:2626199