[epolanski]

I was waiting for the longest time for Hillel to finish his book, I don't like early drafts, glad he's completed it!

Reading some comments in this thread is borderline depressing: half of the people complaining this isn't more abstracted and generalized mathematics and the other half complaining there's too much computer science and is not about coding only.

Which means that this book is exactly perfect for programmers interested in learning about computer science. Might be a niche, but it is a real audience.

[cubefox]

Exactly. There are countless academic books on dry LaTeX logic (logicians love nothing more than writing abstract books about logic) with zero programming applications. But books like this one are very rare.