User contributions for 81.155.198.68

18 January 2014

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

14 January 2014

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

13 January 2014

• 01:4901:49, 13 January 2014 diff hist +22,086 N Relation algebra →Historical remarks

11 January 2014

• 23:2423:24, 11 January 2014 diff hist +4,956 N Choice function →Refinement of the notion of choice function