Can you recommend a good book or article on what's wrong with the last century's work in formal logic? I am curious about this, but don't want to waste time reading stuff that is better bypassed.