机读格式显示(MARC)
- 000 00942nam0 2200265 450
- 010 __ |a 978-7-111-58122-2 |d CNY39.00
- 100 __ |a 20180412d2018 em y0chiy50 ea
- 200 1_ |a 数理逻辑十二讲 |A shu li luo ji shi er jiang |d Lecture notes in mathematical logic |f 宋方敏,吴骏编著 |z eng
- 210 __ |a 北京 |c 机械工业出版社 |d 2018
- 300 __ |a 华章教育 面向CS2013计算机专业规划教材
- 330 __ |a 本书包括命题逻辑、Boole代数、一阶逻辑的语言、一阶逻辑的自然推理系统、集合论的公理系统、完全性定理、Herbrand定理等内容。
- 510 1_ |a Lecture notes in mathematical logic |z eng
- 606 0_ |a 数理逻辑 |A Shu Li Luo Ji |j 教材
- 701 _0 |a 宋方敏 |A song fang min |f (1961~) |4 编著
- 701 _0 |a 吴骏 |A wu jun |c (计算机) |4 编著
- 801 _0 |a CN |b 91MARC |c 20180412
- 905 __ |a ZPHC |d O141/18