Logic, Language, and Computation:11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers(Theoretical Computer Science and General Issues)
逻辑、语言与计算:2015 第11届国际第比利斯逻辑、语言与计算研讨会 / 会议录
数理逻辑与数学基础