User contributions for 81.155.198.68

18 January 2014

• 06:5906:59, 18 January 2014 diff hist +2,245‎ N Blum's speedup theorem ‎No edit summary

14 January 2014

• 03:0103:01, 14 January 2014 diff hist +12,880‎ N Free variables and bound variables ‎ →‎Formal explanation

13 January 2014

• 02:4902:49, 13 January 2014 diff hist +22,086‎ N Relation algebra ‎ →‎Historical remarks

12 January 2014

• 00:2400:24, 12 January 2014 diff hist +4,956‎ N Choice function ‎ →‎Refinement of the notion of choice function