ML-1996-13: Lex Hendriks Intuitionistic Propositional Logic with only Equivalence has no Interpolation 1.Full Text, 2.Abstract. < Back
