CS353, Algebra for Computer Scientists, was a course
taught by Professor Vaughan Pratt each year from 1981
to 2003 based on his notes,
which in 1981 were inspired by his appreciation of how Birkhoff's
HSP theorem for varieties could simplify completeness proofs
in equational logic. In 2022 Pratt set up this website in case
there was interest in reviving the course informally, i.e. without
units for credit or grades, just meetings. If you're interested,
write to Pratt at pratt@cs.stanford.edu.