Holmstrom Meta-mathematics

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