Grattan-Guinness I. The Search for Mathematical Roots, 1870-1940

Princeton University Press, 2000. — 624 p. — ISBN 0-691-05857-1, 0-691-05858-X.Written for mathematicians, logicians, historians, and philosophers - especially those interested in the historical interaction between these disciplines - this authoritative account tells an important story from its most neglected point of view. Whitehead and Russell hoped to show that (much of) mathematics was expressible within their logic; they failed in various ways, but no definitive alternative position emerged then or since.