数
题名:数理逻辑引论
作者:李涛, 张岩, 刘峰主编
出版年:2011
ISBN: 978-7-5603-3411-0
分类号: O141
中图分类: 数理逻辑（符号逻辑）
定价: 16.00元
页数: 139 页
出版社: 哈尔滨工业大学出版社
装订: 平装

数理逻辑引论 — 李涛, 张岩, 刘峰主编

哈尔滨工业大学计算机系数理逻辑教材。<br />关于逻辑演算的推理研究。