I bet you'd probably see Klenk and Copi, both very old textbooks kept at least reasonably up to date, used in some of today's classes. "The Logic Book" (Bergmann, Moor, Nelson) is used around sometimes. I think there'd probably also be an appetite among some HN people to tackle the MIT OpenCourseware offerings, which at first glance look pretty good and challenging.