These aren't exactly programming books, but I'd nominate "Through the Looking Glass" and "Alice's Adventures in Wonderland" (Charles Dodgson, a/k/a Lewis Carroll, various editions) as two great books about logic.