kenneth-c-kleene documents