← Errata for Symbolic Logic: Syntax, Semantics and Proof ...