Why did 1+1=2 take Russell and Whitehead 300 pages? (2011)blog.computationalcomplexity.org2 pointswslha year ago