书名：面向计算机科学的数理逻辑（第二版）
出版社：科学出版社
作者：陆钟万
出版年份：2002
电子书格式： pdf
简介：《面向计算机科学的数理逻辑（第二版）》是陆钟万教授编著的经典教材，由科学出版社于2002年出版。本书深入浅出地介绍了数理逻辑在计算机科学中的应用，涵盖命题逻辑、谓词逻辑、证明理论、模型理论等内容，是计算机专业学生和研究者的必读书目。多考网提供免费下载，助力您的学术研究。
ISBN：9787030096579, 70300