I guess it was Whitehead and Russell who tried to prove that all of math could be derived from the principles of basic logic. Where is that effort today? I'd rather not read a 3 volume set to understand how 1+1=2 can be derived from logic. Is there a more modern text on the subect? Is it still accepted as a valid proof? Thanks.