Logic for Programmers extra credits

The author, busy preparing for a conference in Budapest, published four supplementary articles for "Logic for Programmers" covering concurrent process orderings, first-order logic over function sets, Liskov's history rule in subtyping, and total/partial orders on sets. The supplements are available on GitHub and haven't undergone the book's full editing process.