Institute of Information Science Academia Sinica
講 題: 應用邏輯討論會系列 (XXXIV) -- Chang's Completeness Theorem on MV-Algebras (II)
講 者: 李瑞麟 教授 (國立虎尾科技大學通識中心)
時 間: 2017-06-09 (Fri) 15:30 – 17:30
地 點: 資訊所新館101演講廳
邀請人: 廖純中
摘要: