聚焦课堂2011.11《聚焦课堂》编委会, 主编 形式逻辑与应用2012.4杨红卫, 李宗名, 崔立华, 主编 形式化方法导论2015.张广泉, 编著 聚焦课堂2011.7《聚焦课堂》编委会, 主编 聚焦课堂2011.7《聚焦课堂》编委会, 主编 聚焦课堂2011.11《聚焦课堂》编委会, 主编 聚焦课堂2011.12《聚焦课堂》编委会, 主编 聚焦课堂2019.5《聚焦课堂》编写组, 编 聚焦课堂2019.5《聚焦课堂》编写组, 编 聚焦课堂2018.10《聚焦课堂》编写组, 编 聚焦课堂2011.7《聚焦课堂》编委会, 主编 聚焦课堂2011.6《聚焦课堂》编委会, 主编 聚焦课堂2011.6《聚焦课堂》编委会, 主编 聚焦课堂2011.6《聚焦课堂》编委会, 主编 聚焦课堂2011.11《聚焦课堂》编委会, 主编