作者:乔恩·奥布里
相关文章
进一步阅读
- Brady,G.(2000),从皮尔士到斯科利姆:逻辑史上被忽视的一章阿姆斯特丹爱思唯尔。联机预览.
- Lambek,J.和Scott,P.J.(1986),高阶范畴逻辑导论,剑桥大学出版社,英国剑桥。
- Mili,A.、Desharnais,J.、Mili,F.和Frappier,M.(1994),计算机程序构造,牛津大学出版社,纽约州纽约市。
- Walsh,A.(2012),本杰明和查尔斯·皮尔斯作品中逻辑与数学的关系,Docent出版社,马萨诸塞州波士顿。