李未著2014 年出版289 页ISBN：9787030401557
本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...
原峰山，陈立德编著2009 年出版259 页ISBN：9787302187356
本书介绍了作为网络管理员应该掌握的基本网络管理和网络安全管理的知识和技术。
王崇敏，陈立风主编2010 年出版265 页ISBN：9787511815675
《法学经纬》是由海南大学法学院主办、法律出版社出版的连续性法学学术出版物。
陈立主编2008 年出版194 页ISBN：9787533738211
本书为机类实践系列教材中的一本，为制冷空调专业教学与培训用，主要内容包括制冷与空调设备的相关理论知识和技能训练。
陈立辉，宋年秀主编2004 年出版229 页ISBN：7114049404
本书除了介绍了汽车空调的基本知识（空调的工作原理、结构组成及维修基本常识）外，还针对目前国内常见的国产和进口轿车空调的故障诊断和维修作了详细介绍。...
