数理逻辑 主要工作 哲学工作者或爱好者理解当代数理逻辑 作为哲学 逻辑与形而上学教科书系列 杨睿之 复旦大学出版 现代逻辑 社
相关推荐