P1.0 (Printing) - 07 August 2013

First printing.

B7.0 - 26 June 2013

This is the final beta. Production is complete. Now it’s on to layout and the printer.

B6.0 - 28 May 2013

Beta 6 has been copy edited.

B5.0 - 01 April 2013

  • Beta 5 includes all of the chapters in the final book, adding Chapter 26, “Types, Types, Types! Modeling Lambda Calculus,” and Chapter 27, “The Halting Problem.”
  • Corrections to all outstanding errata as of March 27th.
  • Stylistic corrections to chapters 1 through 4.

B4.0 - 14 March 2013

Beta 4 includes two new chapters on lambda calculus: Chapter 24, “Calculus: No not that calculus, lambda calculus!” and Chapter 25, “Numbers, Booleans, and Recursion, Oh my!”

Many revisions to earlier chapters, including corrections to all outstanding errata as of March 13.

B3.0 - 19 February 2013

  • Beta 3 includes two new chapters: Chapter 23, “The Turing Machine” and Chapter 24, “Pathology and the Heart of Computing.”
  • We’ve also fixed all errata reported by readers as of February 15th.

B2.0 - 01 February 2013

  • We’ve added a new chapter, Chapter 21, “Finite State Machines.”
  • At the request of readers, we have added chapter numbers.
  • We’ve fixed all errata reported by readers as of January 29.

B1.0 - 23 January 2013

Initial beta release.