• A list of errors.
• Additional exercises, a monotonically growing set. This document also addresses technical errors in the text through exercises, thus serving as a form of errata. So far, we've identified the errors; but if you find one, we'll be grateful and acknowledge you in the resulting exercise.
• Additional notes on modeling sets and multisets and on a correction to the discussion of the theory of arrays with uninterpreted indices (thanks to Leonardo de Moura and Nikolaj Bjorner for discussions).
• You may have access, if your university has subscribed, to an electronic version through SpringerLink.

Development of πVC was supported by the National Science Foundation under Grant Nos. CSR-0615449 and CNS-0411363, by Navy/ONR contract N00014-03-1-0939, and by a Sang Samuel Wang Stanford Graduate Fellowship. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation or the Navy/ONR.