发表于2024-11-15
代数与数理逻辑 2024 pdf epub mobi 电子书
图书标签: 数学 王世强 数理逻辑 可计算性 代数
《王世强文集:代数与数理逻辑》内容包括:数理逻辑与代数、命题演算的一系公理(及补注)、一种逻辑电路演算的初步构作、格值模型论中紧致性定理的一种证法、格值模型论中的省略型定理、关于合同关系的可换性、实向量所成的有序环、有限结合系与有限群、关于代数系统的自同构群的一个注记、关于格值模型论的一些研究、关于可补格的一种分类问题等。
代数与数理逻辑 2024 pdf epub mobi 电子书