April 1, 2010: Over the summer of 2010, facilities will be introduced to support live online commentary, critique, annotation, reference and engagement with these materials. A membership capability will also be provided, supporting notification of the publication of new material, automatic downloading of chapters as they are published, etc.
| Introduction | HTML | PDF | |||
| Volume I ▪ Groundwork | ||||
| 1 | Project | (May 1, 2010) HTML | PDF | ||
| 2 | Method | (June 1, 2010) HTML | PDF | ||
| 3 | Meaning | (July 1, 2010) HTML | PDF | ||
| 4 | Mechanism | (August 1, 2010) HTML | PDF | ||
| 5 | Logic | (September 1, 2010) HTML | PDF | ||
| 6 | Process | (October 1, 2010) HTML | PDF | ||
| 7 | Formality | (November 1, 2010) HTML | PDF | ||
| 8 | Prospects | (December 1, 2010) HTML | PDF | ||
| Volume II ▪ Formal Symbol Manipulation | (expected: late 2010) | |||
| Volume III ▪ Effective Computability | (expected: 2011) | |||
| Volume IV ▪ Correspondence Continuum | (expected: 2012) | |||
| Volume V ▪ Information Processing | (expected: 2013) | |||
| Volume VI ▪ Digital State Machines | (expected: 2014) | |||
| Volume VII ▪ The World from Within | (expected: 2015) | |||