PP-1999-08: Rosalie Iemhoff On the Admissible Rules of Intuitionistic Propositional Logic 1.Full Text, 2.Abstract. < Back