机读格式显示(MARC)
- 000 00917nam0 2200289 450
- 010 __ |a 978-7-5603-6146-8 |d CNY19.80
- 100 __ |a 20161019d2016 em y0chiy50 ea
- 200 1_ |a 数理逻辑引论 |A Shu Li Luo Ji Yin Lun |f 李涛,张岩,刘峰主编
- 210 __ |a 哈尔滨 |c 哈尔滨工业大学出版社 |d 2016
- 330 __ |a 本书共分5章,分别介绍了数理逻辑的研究对象、研究内容和研究方法;命题逻辑的基本概念、命题逻辑演算形式系统的组成等内容。
- 606 0_ |a 数理逻辑 |A Shu Li Luo Ji |x 高等学校 |j 教材
- 701 _0 |a 李涛 |A Li Tao |4 主编
- 701 _0 |a 张岩 |A Zhang Yan |4 主编
- 701 _0 |a 刘峰 |A Liu Feng |4 主编
- 801 _0 |a CN |b LIB |c 20180314
- 905 __ |a LIB |d O141/27-2