数理逻辑漫谈相关电子书下载

霍格（Hogg，Robert V.）著；杨宏章译1992 年出版492 页ISBN：7506211564

汪学明主编2009 年出版150 页ISBN：9787541217470

本书是2008年在贵阳召开的第四届全国逻辑系统、智能科学与信息科学学术会议论文集。内容涉及形式逻辑、数理逻辑、法律逻辑、逻辑思维、自然语言理解、机器人涉及、安全协议形式化分析、密码学及其应用等诸...

（美）罗伯特·L.海尔布隆纳著；马林梅译2013 年出版176 页ISBN：7506068185

毕复志等编1980 年出版634 页ISBN：

张小梅编2012 年出版149 页ISBN：9787802508774

朱煜华编著2003 年出版440 页ISBN：7300031420

张军等编1990 年出版186 页ISBN：7560601359

黎学智著1991 年出版343 页ISBN：7538407707

蔡向辉著2017 年出版402 页ISBN：7506095303

田华银著2016 年出版289 页ISBN：7564348137