机读格式显示(MARC)
- 000 00947oam2 2200277 450
- 010 __ |a 978-7-03-020096-9 |b 精装 |d CNY58.00
- 100 __ |a 20090731d2008 ekmy0chiy0121 ea
- 200 1_ |a 数理逻辑 |A shu li luo ji |e 基本原理与形式演算 |f 李未著
- 210 __ |a 北京 |c 科学出版社 |d 2008
- 225 2_ |a 信息科学与技术基础丛书 |A xin xi ke xue yu ji shu ji chu cong shu
- 320 __ |a 有书目 (第250-252页)和索引
- 330 __ |a 本书系统介绍数理逻辑的基本原理与形式演算,涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统。
- 410 _0 |1 2001 |a 信息科学与技术基础丛书
- 517 1_ |a 基本原理与形式演算 |A ji ben yuan li yu xing shi yan suan
- 606 0_ |a 数理逻辑 |A shu li luo ji
- 701 _0 |a 李未 |A li wei |4 著
- 801 _0 |a CN |b JDZXYTSG |c 20090731
- 905 __ |a JDZXY |d O141/42