ML-1993-20: L.A. Chagrova, Dick de Jongh The Decidability of Dependency in Intuitionistic Propositional Logic 1.Full Text. < Back
