User contributions for 173.79.53.121
Jump to navigation
Jump to search
14 August 2012
- 00:5700:57, 14 August 2012 diff hist +9,280 N Hoare logic →Assignment axiom schema
- 00:3600:36, 14 August 2012 diff hist +21,241 N Second-order logic →Non-reducibility to first-order logic