Şablon:Alonzo Church
{{Dolaşım Basitçe yazılmış lambda kalkülüsü Church-Turing tezi Church kodlaması Frege-Church ontolojisi Church-Rosser teoremi C. Anthony Anderson Peter Andrews George Alfred Barnard William Boone Martin Davis William Easton Alfred Foster Leon Henkin John George Kemeny Stephen Cole Kleene Simon B. Kochen Maurice L'Abbé Gary R.