发表于2024-11-22
集合论含有原子的自然模型和布尔值模型 2024 pdf epub mobi 电子书
图书标签: 数理逻辑 哲学
《集合论含有原子的自然模型和布尔值模型》由李娜所著,在含有原子的公理集合论系统的基础上,力图建立两大类模型——自然模型和布尔值模型。不仅从理论上丰富了数理逻辑的重要分支——公理集合论的刻画集论模型的理论,为现代逻辑的研究提供证明根据,而且也促进了现代数理逻辑与哲学逻辑之间的相互渗透、相互融合,从而为描述和模拟人类思维提供指导,为哲学应用提供更可靠的工具,对于逻辑学研究的多元化具有重要的理论意义和现实意义。
集合论含有原子的自然模型和布尔值模型 2024 pdf epub mobi 电子书