书名:数理逻辑导论
出版社:上海科学技术出版社
作者:莫绍揆
出版年份:1965
电子书格式: pdf
简介:《数理逻辑导论》由莫绍揆编著,1965年由上海科学技术出版社出版,是一本经典的数理逻辑入门教材。本书系统介绍了数理逻辑的基本概念、命题逻辑、谓词逻辑、逻辑推理等内容,适合逻辑学、数学、计算机科学等专业的学生和研究人员阅读。通过深入浅出的讲解,帮助读者掌握逻辑思维和推理方法,提升逻辑分析能力。
ISBN: