I really enjoyed Bertrand Russell's "A History of Western Philosophy" but never realized how prolific he was in mathemetics and that he wrote "Mathematical Logi

I really enjoyed Bertrand Russell's "A History of Western Philosophy" but never realized how prolific he was in mathemetics and that he wrote "Mathematical Logic as Based on the Theory of Types" I imagine it is a harder read but probably worth adding to my growing stack of books waiting to get read.