书名：数理逻辑入门
出版社：知识出版社
作者：李锡胤编译
出版年份：1984
电子书格式： pdf
简介：《数理逻辑入门》由李锡胤编译，知识出版社1984年出版，是一本深入浅出的数理逻辑教材。本书系统地介绍了数理逻辑的基本概念、命题逻辑、谓词逻辑、证明理论和模型论等内容，适合逻辑学爱好者及相关专业学生。多考网提供此书免费下载，帮助您掌握数理逻辑的精髓。
ISBN：