I would take a look at books about debugging broken software. Debugging is arguably the most direct and explicit application of human-level logic to software development.