机读格式显示(MARC)
- 010 __ |a 7-306-02588-0 |d CNY35.00 (全两册)
- 100 __ |a 20051015d2005 em y0chiy0121 ea
- 200 1_ |a 现代逻辑学讲义 |A xian dai luo ji xue jiang yi |f 李小五编著 |i 数理逻辑 |i A course in Mathematical logic |z eng
- 210 __ |a 广州 |c 中山大学出版社 |d 2005
- 215 __ |a 2册, 263页 |d 20cm
- 314 __ |a 李小五 浙江人 现任中山大学教授和博士生导师。
- 330 __ |a 数理逻辑是研究可以用数学语言表述的推理形式的有效性的学问。它是全部逻辑的基础,作为一门课程,它是逻辑学最重要的基础课。
- 510 1_ |a A course in Mathematical logic |z eng
- 517 1_ |a 数理逻辑 |A shu li luo ji
- 517 1_ |a A course in Mathematical logic |A A course in Mathematical logic
- 606 0_ |a 逻辑 |A luo ji |x 高等学校 |x 教学参考资料
- 701 _0 |a 李小五 |A li xiao wu |4 编著