Kleene 1721185 17377377 2005-04-11T00:39:25Z Michael Hardy 4626 redirect #REDIRECT[[Stephen Cole Kleene]]