书名：数理逻辑初步
出版社：上海人民出版社
作者：莫绍揆
出版年份：1980
电子书格式： pdf
简介：《数理逻辑初步》由莫绍揆教授编著，是上海人民出版社1980年出版的一部经典教材。本书深入浅出地介绍了数理逻辑的基本概念、命题逻辑、谓词逻辑、证明理论等内容，适合逻辑学初学者及相关专业学生使用。多考网(duokao)提供免费电子书下载，让您轻松学习数理逻辑的精髓。
ISBN：