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.
|
1 | [made Community Wiki] | ||
|
|
||||
