数理逻辑

本书分数学基础基本理论与数理逻辑部分,其中数学基础基本理论部分包括:集合论基础、可计算性理论基础等内...

2013.