……到目前为止还没人提到过，下面几本可能会派上用场：- 本杰明·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章）
…was not mentioned until now, one of the following might probably come in handy: - Basic Category Theory for Computer Scientists by Benjamin C. Pierce (from "Types and Programming Languages" fame) - Practical Foundations of Mathematics, by Paul Taylor (has other interesting work on his homepage as well; http://www.paultaylor.eu/~pt/prafm/; somebody on HN pointed me to it, thanks!--Chapters 4,5,7)
我最近正在啃《数学实用基础》（Practical Foundations of Mathematics）：http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html 网上有全文，不过我建议你买本实体书。噢对了，我可以保证封底的推荐语绝对句句属实。
I'm currently working through Practical Foundations of Mathematics: http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html The full text is available online, but I recommend you buy a hard copy. Oh and I can vouch that the back cover blurb is totally true.
一些建议（综合自 HN 上的各个帖子）《数学实用基础》（Practical Foundations of Mathematics）http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html 线性代数 - 吉尔伯特·斯特朗（Gilbert Strang，书和视频）《线性代数及其应用》（Linear Algebra and Applications）http://www.math.unl.edu/~tshores1/linalgtext.html 附言：还有……
Some suggestions (from HN over various threads) Practical Foundations of Mathematics http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html Linear Algebra - Gilbert Strang (Book & Videos) Linear Algebra and Applications http://www.math.unl.edu/~tshores1/linalgtext.html P.S. There…
……到目前为止还没人提到过，下面几本可能会派上用场：- 本杰明·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章）
…was not mentioned until now, one of the following might probably come in handy: - Basic Category Theory for Computer Scientists by Benjamin C. Pierce (from "Types and Programming Languages" fame) - Practical Foundations of Mathematics, by Paul Taylor (has other interesting work on his homepage as well; http://www.paultaylor.eu/~pt/prafm/; somebody on HN pointed me to it, thanks!--Chapters 4,5,7)
你可能会对保罗·泰勒的《数学实用基础》（Practical foundations of mathematics）感兴趣。
You may be interested in Paul Taylor’s “Practical foundations of mathematics”.
我最近正在啃《数学实用基础》（Practical Foundations of Mathematics）：http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html 网上有全文，不过我建议你买本实体书。噢对了，我可以保证封底的推荐语绝对句句属实。
I'm currently working through Practical Foundations of Mathematics: http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html The full text is available online, but I recommend you buy a hard copy. Oh and I can vouch that the back cover blurb is totally true.
一些建议（综合自 HN 上的各个帖子）《数学实用基础》（Practical Foundations of Mathematics）http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html 线性代数 - 吉尔伯特·斯特朗（Gilbert Strang，书和视频）《线性代数及其应用》（Linear Algebra and Applications）http://www.math.unl.edu/~tshores1/linalgtext.html 附言：还有……
Some suggestions (from HN over various threads) Practical Foundations of Mathematics http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html Linear Algebra - Gilbert Strang (Book & Videos) Linear Algebra and Applications http://www.math.unl.edu/~tshores1/linalgtext.html P.S. There…
多谢！这让我果断关掉《火线》（The Wire），继续老老实实啃《数学实用基础》（Practical Foundations of Mathematics）了。
Thanks! That made me stop watching The Wire and continue working my way through Practical Foundations of Mathematics.