Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Stephen_Cole_Kleene> }
- Joan_Moschovakis doctoralAdvisor Stephen_Cole_Kleene.
- Robert_Lee_Constable doctoralAdvisor Stephen_Cole_Kleene.
- Yiannis_N._Moschovakis doctoralAdvisor Stephen_Cole_Kleene.
- Alonzo_Church doctoralStudent Stephen_Cole_Kleene.
- Kleene wikiPageRedirects Stephen_Cole_Kleene.
- Kleene,_S.C. wikiPageRedirects Stephen_Cole_Kleene.
- Kleene,_Stephen_Cole wikiPageRedirects Stephen_Cole_Kleene.
- S._C._Kleene wikiPageRedirects Stephen_Cole_Kleene.
- Stephen_C._Kleene wikiPageRedirects Stephen_Cole_Kleene.
- Stephen_Kleene wikiPageRedirects Stephen_Cole_Kleene.
- 1909 wikiPageWikiLink Stephen_Cole_Kleene.
- 1909_in_science wikiPageWikiLink Stephen_Cole_Kleene.
- 1909_in_the_United_States wikiPageWikiLink Stephen_Cole_Kleene.
- 1994 wikiPageWikiLink Stephen_Cole_Kleene.
- 1994_in_science wikiPageWikiLink Stephen_Cole_Kleene.
- Actual_infinity wikiPageWikiLink Stephen_Cole_Kleene.
- Algorithm wikiPageWikiLink Stephen_Cole_Kleene.
- Algorithm_characterizations wikiPageWikiLink Stephen_Cole_Kleene.
- Alonzo_Church wikiPageWikiLink Stephen_Cole_Kleene.
- Asterisk wikiPageWikiLink Stephen_Cole_Kleene.
- Bar_induction wikiPageWikiLink Stephen_Cole_Kleene.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Stephen_Cole_Kleene.
- Brouwer–Hilbert_controversy wikiPageWikiLink Stephen_Cole_Kleene.
- Church–Kleene_ordinal wikiPageWikiLink Stephen_Cole_Kleene.
- Church–Turing_thesis wikiPageWikiLink Stephen_Cole_Kleene.
- Collectively_exhaustive_events wikiPageWikiLink Stephen_Cole_Kleene.
- Computability_theory wikiPageWikiLink Stephen_Cole_Kleene.
- Consistency wikiPageWikiLink Stephen_Cole_Kleene.
- Counter_machine wikiPageWikiLink Stephen_Cole_Kleene.
- Currys_paradox wikiPageWikiLink Stephen_Cole_Kleene.
- Curry–Howard_correspondence wikiPageWikiLink Stephen_Cole_Kleene.
- De_Morgan_algebra wikiPageWikiLink Stephen_Cole_Kleene.
- Dick_de_Jongh wikiPageWikiLink Stephen_Cole_Kleene.
- Disjunction_and_existence_properties wikiPageWikiLink Stephen_Cole_Kleene.
- Double_negation wikiPageWikiLink Stephen_Cole_Kleene.
- Effective_topos wikiPageWikiLink Stephen_Cole_Kleene.
- Entscheidungsproblem wikiPageWikiLink Stephen_Cole_Kleene.
- Expression_(mathematics) wikiPageWikiLink Stephen_Cole_Kleene.
- Foundations_of_mathematics wikiPageWikiLink Stephen_Cole_Kleene.
- Freshmans_dream wikiPageWikiLink Stephen_Cole_Kleene.
- Gisbert_Hasenjaeger wikiPageWikiLink Stephen_Cole_Kleene.
- Gxc3xb6dels_incompleteness_theorems wikiPageWikiLink Stephen_Cole_Kleene.
- Halting_problem wikiPageWikiLink Stephen_Cole_Kleene.
- Haskell_Curry wikiPageWikiLink Stephen_Cole_Kleene.
- Hilary_Putnam wikiPageWikiLink Stephen_Cole_Kleene.
- History_of_logic wikiPageWikiLink Stephen_Cole_Kleene.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Stephen_Cole_Kleene.
- History_of_the_function_concept wikiPageWikiLink Stephen_Cole_Kleene.
- History_of_type_theory wikiPageWikiLink Stephen_Cole_Kleene.
- Impredicativity wikiPageWikiLink Stephen_Cole_Kleene.
- Index_of_philosophy_articles_(R–Z) wikiPageWikiLink Stephen_Cole_Kleene.
- Indicator_function wikiPageWikiLink Stephen_Cole_Kleene.
- International_Union_of_History_and_Philosophy_of_Science wikiPageWikiLink Stephen_Cole_Kleene.
- Intuitionism wikiPageWikiLink Stephen_Cole_Kleene.
- January_1909 wikiPageWikiLink Stephen_Cole_Kleene.
- January_25 wikiPageWikiLink Stephen_Cole_Kleene.
- January_5 wikiPageWikiLink Stephen_Cole_Kleene.
- Joan_Moschovakis wikiPageWikiLink Stephen_Cole_Kleene.
- John_Corcoran_(logician) wikiPageWikiLink Stephen_Cole_Kleene.
- Kleene wikiPageWikiLink Stephen_Cole_Kleene.
- Kleene,_S.C. wikiPageWikiLink Stephen_Cole_Kleene.
- Kleene,_Stephen_Cole wikiPageWikiLink Stephen_Cole_Kleene.
- Kleene_algebra wikiPageWikiLink Stephen_Cole_Kleene.
- Kleene_award wikiPageWikiLink Stephen_Cole_Kleene.
- Kleene_fixed-point_theorem wikiPageWikiLink Stephen_Cole_Kleene.
- Kleene_star wikiPageWikiLink Stephen_Cole_Kleene.
- Kleenes_O wikiPageWikiLink Stephen_Cole_Kleene.
- Kleenes_T_predicate wikiPageWikiLink Stephen_Cole_Kleene.
- Kleenes_algorithm wikiPageWikiLink Stephen_Cole_Kleene.
- Kleenes_recursion_theorem wikiPageWikiLink Stephen_Cole_Kleene.
- Kleene–Brouwer_order wikiPageWikiLink Stephen_Cole_Kleene.
- Kleene–Rosser_paradox wikiPageWikiLink Stephen_Cole_Kleene.
- Kurt_Gödel wikiPageWikiLink Stephen_Cole_Kleene.
- Lambda_calculus wikiPageWikiLink Stephen_Cole_Kleene.
- Large_countable_ordinal wikiPageWikiLink Stephen_Cole_Kleene.
- Law_of_excluded_middle wikiPageWikiLink Stephen_Cole_Kleene.
- Law_of_noncontradiction wikiPageWikiLink Stephen_Cole_Kleene.
- Law_of_thought wikiPageWikiLink Stephen_Cole_Kleene.
- Leroy_P._Steele_Prize wikiPageWikiLink Stephen_Cole_Kleene.
- List_of_Amherst_College_people wikiPageWikiLink Stephen_Cole_Kleene.
- List_of_Guggenheim_Fellowships_awarded_in_1949 wikiPageWikiLink Stephen_Cole_Kleene.
- List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers wikiPageWikiLink Stephen_Cole_Kleene.
- List_of_National_Medal_of_Science_laureates wikiPageWikiLink Stephen_Cole_Kleene.
- List_of_University_of_Wisconsin–Madison_people wikiPageWikiLink Stephen_Cole_Kleene.
- List_of_computer_scientists wikiPageWikiLink Stephen_Cole_Kleene.
- List_of_logicians wikiPageWikiLink Stephen_Cole_Kleene.
- List_of_mathematical_logic_topics wikiPageWikiLink Stephen_Cole_Kleene.
- List_of_mathematicians_(K) wikiPageWikiLink Stephen_Cole_Kleene.
- List_of_multiple_discoveries wikiPageWikiLink Stephen_Cole_Kleene.
- List_of_names_in_English_with_counterintuitive_pronunciations wikiPageWikiLink Stephen_Cole_Kleene.
- List_of_people_from_Connecticut wikiPageWikiLink Stephen_Cole_Kleene.
- List_of_people_from_Hartford,_Connecticut wikiPageWikiLink Stephen_Cole_Kleene.
- List_of_pioneers_in_computer_science wikiPageWikiLink Stephen_Cole_Kleene.
- Logical_consequence wikiPageWikiLink Stephen_Cole_Kleene.
- Logics_for_computability wikiPageWikiLink Stephen_Cole_Kleene.
- László_Kalmár wikiPageWikiLink Stephen_Cole_Kleene.
- Many-valued_logic wikiPageWikiLink Stephen_Cole_Kleene.
- Mathematical_logic wikiPageWikiLink Stephen_Cole_Kleene.
- McCarthy_Formalism wikiPageWikiLink Stephen_Cole_Kleene.
- Metamathematics wikiPageWikiLink Stephen_Cole_Kleene.