User contributions for 71.222.77.62
Jump to navigation
Jump to search
10 January 2015
- 16:5216:52, 10 January 2015 diff hist +166 Löb's theorem →Proof of Löb's theorem: modal fixed point current