Microsoft Store
 

Alonzo Church


 

Alonzo Church (June 14, 1903August 11, 1995) was an American mathematician and logician who was responsible for some of the foundations of theoretical computer science. Born in Washington, DC, he received a bachelor's degree from Princeton University in 1924 and a Ph.D. in 1927. His advisor was Oswald Veblen. He became a professor of mathematics at Princeton in 1929.

Books

Alonzo Church, Introduction to Mathematical Logic (ISBN 0-691-02906-7)

~ ~ ~ ~ ~ ~ ~ ~ ~ ~