数理逻辑 经典逻辑 模态逻辑 计算机科学中常有的逻辑

介绍量子信息和量子计算相当权威的书。适用于高等院校物理学、计算机科学、数学和电气工程专业研究生课程，...