PP-2000-06: Rosalie Iemhoff A(nother) characterization of Intuitionistic Propositional Logic 1.Full Text, 2.Abstract. < Back
