> My question is: What are the best historical accounts of the logicist
> debates in the foundations of mathematics, 1900-1940?
A minor but valuable historical piece is Quine's short (1987) reminiscence of
how he invented the "New Foundations" system to replace Russell's type theory,
to be found in the new edition of his Selected Logical Papers (Harvard).
Val Dusek