离散数学. 第一分册. , 数理逻辑


名称	离散数学. 第一分册. , 数理逻辑

索引号	628270
分类号	(\| 08 环境公报)
作者	王捍贫、
出版社	北京 : 北京大学出版社, 1997
ISBN	7-301-03490-3
页数	271页 : 图 ; 20cm
价格	CNY15.00
标签	数学、离散、教材、计算机科学、数理逻辑、计算机、符号学、模型、
简介
注解	北京大学计算机科学与技术系教材其他题名：数理逻辑有书目(第263页)和索引