数理逻辑:证明及其限度第2版作者：郝兆宽著，杨睿之著，杨跃著出版发行:上海：复旦大学出版社,2020.08ISBN号：978-7-309-14568-7页数：255丛书名:逻辑与形而上学教科书系列原书定价:49.00主题词:数理逻辑-高等学...

旧书库 2026-4-8 教育教辅