[pron]

By no means a textbook, just a barely-edited book-length anthology of primary sources I put together, but let me plug my own:

Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra

https://pron.github.io/computation-logic-algebra

[blewboarwastake]

The Bibliography is definitively useful but the editing and commentary is really good too. I'll bookmark it and will keep reading later.

[epilys]

Do you have plans on publishing an epub?

[pron]

Not currently. Seems like a lot of work, especially with all the margin notes and figures. But if you could suggest tools that might make this easier, I'd give them a look.

[bambataa]

I enjoyed your introduction to TLA+, so looking forward to this. Thank you.