User contributions for 169.234.212.6
Jump to navigation
Jump to search
30 November 2013
- 02:5102:51, 30 November 2013 diff hist +9,067 N Infinitary logic →Completeness, compactness, and strong completeness