PP-2001-01: Maarten Marx Complexity of Intuitionistic Predicate Logic with One Variable 1.Full Text, 2.Abstract. < Back