One of the students of Alonzo Church, Kleene, along with Alan Turing, Emil Post, and others , is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer science. Kleene's work grounds the study of which functions are computable