数学的实用基础
Practical foundations of mathematics
Taylor, Paul · 初版 1999 年
- 5次提及
- 4人推荐
- 4位 HN 评论者
Hacker News 读者推荐
……到目前为止还没人提到过，下面几本可能会派上用场：- 本杰明·C·皮尔斯（Benjamin C. Pierce，因写了《类型与程序设计语言/Types and Programming Languages》而闻名）写的《计算机科学家的基础范畴论》（Basic Category Theory for Computer Scientists） - 保罗·泰勒（Paul Taylor）的《数学实用基础》（Practical Foundations of Mathematics，他主页上还有其他有趣的研究；http://www.paultaylor.eu/~pt/prafm/；HN 上有人向我推荐过它，感谢！——第4、5、7章）
sb 在 HN 的推荐
你可能会对保罗·泰勒的《数学实用基础》（Practical foundations of mathematics）感兴趣。
mietek 在 HN 的推荐
我最近正在啃《数学实用基础》（Practical Foundations of Mathematics）：http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html 网上有全文，不过我建议你买本实体书。噢对了，我可以保证封底的推荐语绝对句句属实。
MartinMond 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0521631076
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。