Holmstrom
Meta-mathematics
Skip the Navigation Links
|
Home Page
|
All Pages
|
http://mathoverflow.net/questions/38639/thinking-and-explaining
nLab page on
Meta-mathematics
Created on June 9, 2014 at 21:16:14 by
Andreas Holmström