author : Stephen C. Kleene

Short works

• Turing's analysis of computability, and major applications of it. 1988. (In The Universal Turing Machine )