书名：数理逻辑：基本原理与形式演算
出版社：
作者：李未著
出版年份：0
电子书格式： pdf
简介：《数理逻辑：基本原理与形式演算》由李未教授所著，深入探讨了数理逻辑的核心概念和理论框架。本书系统地介绍了命题逻辑、谓词逻辑、公理系统以及哥德尔不完备定理等重要内容，适用于数学、计算机科学、哲学等领域的研究者和学生。多考网(duokao)提供此书免费下载，助您快速掌握数理逻辑的精髓。
ISBN：