Gr. C. Moisil. Sur le syllogisme hypothétique dans la lopique intuitioniste.Journal de mathématiques pures et appliquées, ser. 9 vol. 17 (1938), pp. 197–202.