Why did 1+1=2 take Russell and Whitehead 300 pages? (2011)

 (blog.computationalcomplexity.org)

1 points | by wslh 12 hours ago ago

1 comments