Hillel Wayne shares four supplemental chapters for his book 'Logic for Programmers' that didn't make it into the main text. The supplements cover: computing orderings of concurrent processes, first-order logic quantifying over sets of functions (with notes on currying and type theory), Barbara Liskov's history rule in subtyping, and total/partial orders on sets. Each supplement is 2–3000 words of math content, available on GitHub, though written less rigorously than the book itself.
8 Impressions