归纳逻辑教程相关电子书下载

陈明编著1999 年出版310 页ISBN：7562314330

于雷编著2014 年出版305 页ISBN：7302369301

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

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

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

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

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

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

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

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

（美）Herbert B.Enderton著；沈复兴，陈磊，孙运传译2007 年出版240 页ISBN：7115143110

本书是数理逻辑课程的经典教材。