← Errata for Symbolic Logic: Syntax, Semantics and …