Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Alonzo_Church> }
- Alan_Turing doctoralAdvisor Alonzo_Church.
- Dana_Scott doctoralAdvisor Alonzo_Church.
- George_Alfred_Barnard doctoralAdvisor Alonzo_Church.
- J._Barkley_Rosser doctoralAdvisor Alonzo_Church.
- Martin_Davis doctoralAdvisor Alonzo_Church.
- Michael_O._Rabin doctoralAdvisor Alonzo_Church.
- Stephen_Cole_Kleene doctoralAdvisor Alonzo_Church.
- William_Boone_(mathematician) doctoralAdvisor Alonzo_Church.
- Oswald_Veblen doctoralStudent Alonzo_Church.
- Nathan_Salmon influencedBy Alonzo_Church.
- Alonzo wikiPageDisambiguates Alonzo_Church.
- A._Church wikiPageRedirects Alonzo_Church.
- Alonso_Church wikiPageRedirects Alonzo_Church.
- Alonzo_Church_(Mathematician) wikiPageRedirects Alonzo_Church.
- Church,_A wikiPageRedirects Alonzo_Church.
- Church,_A. wikiPageRedirects Alonzo_Church.
- 1903_in_science wikiPageWikiLink Alonzo_Church.
- 1935_in_science wikiPageWikiLink Alonzo_Church.
- 1995_in_science wikiPageWikiLink Alonzo_Church.
- A._Church wikiPageWikiLink Alonzo_Church.
- Abstract_rewriting_system wikiPageWikiLink Alonzo_Church.
- Alan_Turing wikiPageWikiLink Alonzo_Church.
- Alfred_Tarski wikiPageWikiLink Alonzo_Church.
- Algorithm wikiPageWikiLink Alonzo_Church.
- Algorithm_characterizations wikiPageWikiLink Alonzo_Church.
- Alonso_Church wikiPageWikiLink Alonzo_Church.
- Alonzo wikiPageWikiLink Alonzo_Church.
- Alonzo_Church_(Mathematician) wikiPageWikiLink Alonzo_Church.
- Alonzo_S._Church wikiPageWikiLink Alonzo_Church.
- Analysis_(journal) wikiPageWikiLink Alonzo_Church.
- Anonymous_function wikiPageWikiLink Alonzo_Church.
- Antiquarian_science_books wikiPageWikiLink Alonzo_Church.
- Argument-deduction-proof_distinctions wikiPageWikiLink Alonzo_Church.
- Association_for_Symbolic_Logic wikiPageWikiLink Alonzo_Church.
- Automated_theorem_proving wikiPageWikiLink Alonzo_Church.
- Bertrand_Russells_views_on_philosophy wikiPageWikiLink Alonzo_Church.
- Boston_University_Center_for_Philosophy_and_History_of_Science wikiPageWikiLink Alonzo_Church.
- Böhm_tree wikiPageWikiLink Alonzo_Church.
- C._Anthony_Anderson wikiPageWikiLink Alonzo_Church.
- Cantors_theorem wikiPageWikiLink Alonzo_Church.
- Church,_A wikiPageWikiLink Alonzo_Church.
- Church,_A. wikiPageWikiLink Alonzo_Church.
- Church_(surname) wikiPageWikiLink Alonzo_Church.
- Church_encoding wikiPageWikiLink Alonzo_Church.
- Church–Kleene_ordinal wikiPageWikiLink Alonzo_Church.
- Church–Rosser_theorem wikiPageWikiLink Alonzo_Church.
- Church–Turing_thesis wikiPageWikiLink Alonzo_Church.
- Combinatory_logic wikiPageWikiLink Alonzo_Church.
- Computability_theory wikiPageWikiLink Alonzo_Church.
- Computable_topology wikiPageWikiLink Alonzo_Church.
- Concatenation_theory wikiPageWikiLink Alonzo_Church.
- Conditioned_disjunction wikiPageWikiLink Alonzo_Church.
- Currys_paradox wikiPageWikiLink Alonzo_Church.
- Dana_Scott wikiPageWikiLink Alonzo_Church.
- David_Hilbert wikiPageWikiLink Alonzo_Church.
- David_Kaplan_(philosopher) wikiPageWikiLink Alonzo_Church.
- Decidability_(logic) wikiPageWikiLink Alonzo_Church.
- Deductive_lambda_calculus wikiPageWikiLink Alonzo_Church.
- Entscheidungsproblem wikiPageWikiLink Alonzo_Church.
- Escher_(programming_language) wikiPageWikiLink Alonzo_Church.
- Expression_(mathematics) wikiPageWikiLink Alonzo_Church.
- First-order_logic wikiPageWikiLink Alonzo_Church.
- Foundations_of_mathematics wikiPageWikiLink Alonzo_Church.
- Frank_P._Ramsey wikiPageWikiLink Alonzo_Church.
- Frederic_Fitch wikiPageWikiLink Alonzo_Church.
- Frege–Church_ontology wikiPageWikiLink Alonzo_Church.
- Gary_R._Mar wikiPageWikiLink Alonzo_Church.
- George_Alfred_Barnard wikiPageWikiLink Alonzo_Church.
- Gérard_Huet wikiPageWikiLink Alonzo_Church.
- Halting_problem wikiPageWikiLink Alonzo_Church.
- Hans_Kamp wikiPageWikiLink Alonzo_Church.
- Hartley_Rogers,_Jr. wikiPageWikiLink Alonzo_Church.
- Haskell_Curry wikiPageWikiLink Alonzo_Church.
- Higher-order_logic wikiPageWikiLink Alonzo_Church.
- History_of_artificial_intelligence wikiPageWikiLink Alonzo_Church.
- History_of_computer_science wikiPageWikiLink Alonzo_Church.
- History_of_logic wikiPageWikiLink Alonzo_Church.
- History_of_programming_languages wikiPageWikiLink Alonzo_Church.
- History_of_randomness wikiPageWikiLink Alonzo_Church.
- History_of_the_Actor_model wikiPageWikiLink Alonzo_Church.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Alonzo_Church.
- History_of_the_function_concept wikiPageWikiLink Alonzo_Church.
- History_of_type_theory wikiPageWikiLink Alonzo_Church.
- Impossibility_of_a_gambling_system wikiPageWikiLink Alonzo_Church.
- Index_of_philosophy_articles_(A–C) wikiPageWikiLink Alonzo_Church.
- Intensional_logic wikiPageWikiLink Alonzo_Church.
- J._Barkley_Rosser wikiPageWikiLink Alonzo_Church.
- Jacques-Alain_Miller wikiPageWikiLink Alonzo_Church.
- John_Corcoran_(logician) wikiPageWikiLink Alonzo_Church.
- John_G._Kemeny wikiPageWikiLink Alonzo_Church.
- John_Greco_(philosopher) wikiPageWikiLink Alonzo_Church.
- June_14 wikiPageWikiLink Alonzo_Church.
- Kleene–Rosser_paradox wikiPageWikiLink Alonzo_Church.
- Knights_of_the_Lambda_Calculus wikiPageWikiLink Alonzo_Church.
- Lambda_calculus wikiPageWikiLink Alonzo_Church.
- Lambda_calculus_definition wikiPageWikiLink Alonzo_Church.
- Laws_of_Form wikiPageWikiLink Alonzo_Church.
- Leon_Henkin wikiPageWikiLink Alonzo_Church.
- Lisp_(programming_language) wikiPageWikiLink Alonzo_Church.
- List_of_Christians_in_science_and_technology wikiPageWikiLink Alonzo_Church.