2010年5月5日：中文版引言发布。如果您对译文有意见或者有意参与翻译工作，请与罗军联系。
2010年4月1日：今年秋季期间，本网站将逐渐引入更多功能，支持针对下面这些材料的评论、批判、注解、引用与研读；还将允许会员注册，以便新材料发表时大家可以收到通知，新章节发表后能够自动下载等等。
| 引言 | HTML | |||
| 第一卷▪ 基础 | ||||
| 1 | 项目 | (2010年8月1日) HTML | ||
| 2 | 方法 | (2010年9月1日) HTML | ||
| 3 | 意义 | (2010年10月1日) HTML | ||
| 4 | 机制 | (2010年11月1日) HTML | ||
| 5 | 逻辑 | (2010年12月1日) HTML | ||
| 6 | 进程 | (2011年1月1日) HTML | ||
| 7 | 形式化 | (2011年2月1日) HTML | ||
| 8 | 前景 | (2011年3月1日) HTML | ||
| 第二卷 ▪ 形式化符号操纵 | (预计日期：2011年) | |||
| 第三卷 ▪ 有效可计算性 | (预计日期：2011年底) | |||
| 第四卷 ▪ 对应连续统 | (预计日期：2012年) | |||
| 第五卷 ▪ 信息处理 | (预计日期：2013年) | |||
| 第六卷 ▪ 数字状态机 | (预计日期：2014年) | |||
| 第七卷 ▪ 在世间而有世界 | (预计日期：2015年) | |||