书城
作者：
李涛，张岩，刘峰主编出版社：
出版时间：
2016.08ISBN：
978-7-5603-6146-8主题：
数理逻辑中图法分类号：
O141【中图法分类】
O 数理科学和化学 ->O1数学 ->O14数理逻辑、数学基础【学科分类】
理学 ->数学 ->基础数学文件大小：
页码：
148版本号：
2版修订版