Images for Mathematical Logic/ KLEENE, Stephen Cole