杨睿之

作为现代哲学主流形式的分析哲学与作为现代逻辑基础的数理逻辑有着共同的起源。然而，...

本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材，本书更强调逻辑与元...