Language, proof, and logic / Lists

A personal list of books that don't quite fit into a "for pleasure reading" list. Some of the books themselves may not stand out as especially academic or as literary, but there can be something said for finding knowledge in uncommon locations.