Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Although it is only tangential to math logics books,
have you seen Pierce's "Software Foundations"?
This is not what, but more about how. And here is a talk on how it worked out.
