Mizar系统, 数学家, 波兰, 计算机科学, 逻辑学

安德烈·特里布莱茨 (Andrzej Trybulec)

, , , ,