Try "Formal Languages in Logic: A Philosophical and Cognitive Analysis" by Catarina Dutilh Novaes. It's maybe the best work I've read in this field, and I've read most of what's on the github list.
My copy has md5sum 6d62f3c0a63242a318ddd691d3974cd2, sha1sum 17aee5d2ceeabf947ea07e6ef55196b337a8f999, and sha256sum f2d56ac1e3cd0fa479a4fc0c03f94d338663e6ed29799a2544b5b9b159643a05.