# Logic for Programmers extra credits

DevFeed: [Logic for Programmers extra credits](<https://devfeed.tech/articles/logic-for-programmers-extra-credits-25490.md>)

Original publisher: [Read original article](<https://buttondown.com/hillelwayne/archive/logic-for-programmers-extra-credits/>)

Author: Hillel Wayne

Published: 2026-06-02T14:48:48Z

Content type: article

Language: en

Sources: [Newsletter feed for Hillel Wayne's Newsletter](<https://devfeed.tech/sources/newsletter-feed-for-hillel-wayne-s-newsletter.md>)

Topics: [Math and Logic](<https://devfeed.tech/topics/math-and-logic.md>), [Concurrent Programming](<https://devfeed.tech/topics/concurrent-programming.md>)

Tags: [book](<https://devfeed.tech/tags/book.md>), [concurrent](<https://devfeed.tech/tags/concurrent.md>), [math](<https://devfeed.tech/tags/math.md>), [writing](<https://devfeed.tech/tags/writing.md>)

## AI overview

The author announces four supplementary pieces for Logic for Programmers covering concurrent-process orderings, first-order logic and sets of functions, Liskov's history rule in subtyping, and orders on sets. The supplements contain roughly 2,000-3,000 words of math content and may be less polished than the book.

## Source excerpt

So I said there wasn't a proper newsletter this week, since I'm in Budapest prepping for a conference. But I still got a thing for y'all. There's a lot of interesting topics I wanted to cover for Logic for Programmers, but the book is dense enough as it is and many of these were too tangential or technical to fit in well. So I've been writing some supplements and uploading them here. I've got four so far: How we compute the number of orderings of multiple concurrent processes How first-order logic can quantify over "a set of functions", what a "set of functions" looks like, and how functions can be defined in terms of sets (plus a bit on currying and type theory) Barbara Liskov's "history rule" in subtyping Total and partial orders on sets. Now I'm going to caveat that these were written off the cuff and haven't gone through the obsessive editing of the book itself, so they may be rough and there might be errors in them. Still, it's like 2-3000 words of math content, so hopefully covers not having a proper newsletter this time. Seeya next week!