PP-2016-20: Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao Universal models for the positive fragment of intuitionistic logic 1.Full Text, 2.Abstract. < Back
