数理逻辑 : 基本原理与形式演算 | 2版
作者：
李未著
ISBN：
9787030401557
出版日期：
2014-03
版次：
1
中图分类号：
O141
学科分类：
丛书：
附注信息：
中国科学院科学出版基金资助出版
