机读格式显示(MARC)
- 000 01011oam2 2200289 450
- 010 __ |a 7-03-009657-6 |d CNY19.00
- 100 __ |a 20051130e20052002ekmy0chiy50 ea
- 200 1_ |a 面向计算机科学的数理逻辑 |A mian xiang ji suan ji ke xue de shu li luo ji |f 陆钟万著
- 210 __ |a 北京 |c 科学出版社 |d 2002
- 215 __ |a 13, 263页 |d 20cm
- 225 2_ |a 中国科学院研究生教学丛书 |A zhong guo ke xue yuan yan jiu sheng jiao xue cong shu
- 300 __ |a 普通高等教育“九五”国家级重点教材
- 330 __ |a 本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。
- 461 _0 |1 2001 |a 中国科学院研究生教学丛书
- 606 0_ |a 数理逻辑 |A shu li luo ji |x 研究生 |j 教材
- 701 _0 |a 陆钟万 |A lu zhong wan |4 著
- 801 __ |b JDZXYTSG |c 20051228
- 905 __ |a JDZXY |d O141/35