Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Leon_Henkin> ?p ?o }
- Leon_Henkin abstract "Leon Albert Henkin (19 April 1921, Brooklyn – 1 November 2006, Oakland, California) was a logician at the University of California, Berkeley. He was principally known for the "Henkin's completeness proof": his version of the proof of the semantic completeness of standard systems of first-order logic.".
- Leon_Henkin birthDate "1921-04-19".
- Leon_Henkin birthYear "1921".
- Leon_Henkin deathDate "2006-11-01".
- Leon_Henkin deathYear "2006".
- Leon_Henkin thumbnail LeonHenkin.jpg?width=300.
- Leon_Henkin wikiPageExternalLink berkeleyCitation.cfm.
- Leon_Henkin wikiPageExternalLink 1163066351.html?dids=1163066351:1163066351&FMT=ABS&FMTS=ABS:FT&date=Nov+16%2C+2006&author=Valerie+J.+Nelson&pub=Los+Angeles+Times&desc=Obituaries%3B+Leon+Henkin%2C+85%3B+professor+steered+minorities+and+women+to+math&pqatl=google.
- Leon_Henkin wikiPageExternalLink 09_henkin.shtml.
- Leon_Henkin wikiPageExternalLink 1503-004.ps.
- Leon_Henkin wikiPageExternalLink pmc14.htm.
- Leon_Henkin wikiPageExternalLink pmc19.htm.
- Leon_Henkin wikiPageExternalLink BAGI9MGAJI1.DTL.
- Leon_Henkin wikiPageExternalLink leonalberthenkin.html.
- Leon_Henkin wikiPageExternalLink LeonHenkin.pdf.
- Leon_Henkin wikiPageID "356165".
- Leon_Henkin wikiPageLength "8528".
- Leon_Henkin wikiPageOutDegree "49".
- Leon_Henkin wikiPageRevisionID "660795707".
- Leon_Henkin wikiPageWikiLink Albert_Einstein.
- Leon_Henkin wikiPageWikiLink Alfred_Tarski.
- Leon_Henkin wikiPageWikiLink Alonzo_Church.
- Leon_Henkin wikiPageWikiLink American_Mathematical_Monthly.
- Leon_Henkin wikiPageWikiLink Belmar,_New_Jersey.
- Leon_Henkin wikiPageWikiLink Branching_quantifier.
- Leon_Henkin wikiPageWikiLink Brooklyn.
- Leon_Henkin wikiPageWikiLink Carol_Karp.
- Leon_Henkin wikiPageWikiLink Category:1921_births.
- Leon_Henkin wikiPageWikiLink Category:2006_deaths.
- Leon_Henkin wikiPageWikiLink Category:20th-century_American_mathematicians.
- Leon_Henkin wikiPageWikiLink Category:21st-century_American_mathematicians.
- Leon_Henkin wikiPageWikiLink Category:American_Jews.
- Leon_Henkin wikiPageWikiLink Category:American_logicians.
- Leon_Henkin wikiPageWikiLink Category:American_people_of_Russian-Jewish_descent.
- Leon_Henkin wikiPageWikiLink Category:Columbia_University_alumni.
- Leon_Henkin wikiPageWikiLink Category:Manhattan_Project_people.
- Leon_Henkin wikiPageWikiLink Category:Princeton_University_alumni.
- Leon_Henkin wikiPageWikiLink Category:University_of_California,_Berkeley_faculty.
- Leon_Henkin wikiPageWikiLink Chauvenet_Prize.
- Leon_Henkin wikiPageWikiLink Columbia_College,_Columbia_University.
- Leon_Henkin wikiPageWikiLink Columbia_College_of_Columbia_University.
- Leon_Henkin wikiPageWikiLink Existence_theorem.
- Leon_Henkin wikiPageWikiLink First-order_logic.
- Leon_Henkin wikiPageWikiLink Gxc3xb6dels_completeness_theorem.
- Leon_Henkin wikiPageWikiLink Henkin_construction.
- Leon_Henkin wikiPageWikiLink Henkin_model.
- Leon_Henkin wikiPageWikiLink Higher-order_logic.
- Leon_Henkin wikiPageWikiLink Isotope_diffusion.
- Leon_Henkin wikiPageWikiLink Jewish.
- Leon_Henkin wikiPageWikiLink Jews.
- Leon_Henkin wikiPageWikiLink Journal_of_Symbolic_Logic.
- Leon_Henkin wikiPageWikiLink Kurt_Gödel.
- Leon_Henkin wikiPageWikiLink Lester_R._Ford.
- Leon_Henkin wikiPageWikiLink Lester_R._Ford_Award.
- Leon_Henkin wikiPageWikiLink Logic.
- Leon_Henkin wikiPageWikiLink Logician.
- Leon_Henkin wikiPageWikiLink Manhattan_Project.
- Leon_Henkin wikiPageWikiLink Manhattan_project.
- Leon_Henkin wikiPageWikiLink Mathematics.
- Leon_Henkin wikiPageWikiLink New_York_Times.
- Leon_Henkin wikiPageWikiLink Oak_Ridge,_Tennessee.
- Leon_Henkin wikiPageWikiLink Oakland,_California.
- Leon_Henkin wikiPageWikiLink Philip_Treisman.
- Leon_Henkin wikiPageWikiLink Princeton_University.
- Leon_Henkin wikiPageWikiLink Professor.
- Leon_Henkin wikiPageWikiLink Russians.
- Leon_Henkin wikiPageWikiLink Second-order_logic.
- Leon_Henkin wikiPageWikiLink Signal_Corps_Radar_Laboratory.
- Leon_Henkin wikiPageWikiLink The_Journal_of_Symbolic_Logic.
- Leon_Henkin wikiPageWikiLink The_New_York_Times.
- Leon_Henkin wikiPageWikiLink University_of_California,_Berkeley.
- Leon_Henkin wikiPageWikiLink File:LeonHenkin.jpg.
- Leon_Henkin wikiPageWikiLinkText "Henkin".
- Leon_Henkin wikiPageWikiLinkText "Henkin, Leon".
- Leon_Henkin wikiPageWikiLinkText "Leon Henkin".
- Leon_Henkin author "G. Weaver".
- Leon_Henkin dateOfBirth "1921-04-19".
- Leon_Henkin dateOfDeath "2006-11-01".
- Leon_Henkin hasPhotoCollection Leon_Henkin.
- Leon_Henkin id "h/h110150".
- Leon_Henkin name "Henkin, Leon".
- Leon_Henkin shortDescription "American mathematician".
- Leon_Henkin title "Henkin construction".
- Leon_Henkin wikiPageUsesTemplate Template:Authority_control.
- Leon_Henkin wikiPageUsesTemplate Template:Cite_book.
- Leon_Henkin wikiPageUsesTemplate Template:MathGenealogy.
- Leon_Henkin wikiPageUsesTemplate Template:Persondata.
- Leon_Henkin wikiPageUsesTemplate Template:Reflist.
- Leon_Henkin wikiPageUsesTemplate Template:Springer.
- Leon_Henkin description "American mathematician".
- Leon_Henkin description "American mathematician".
- Leon_Henkin subject Category:1921_births.
- Leon_Henkin subject Category:2006_deaths.
- Leon_Henkin subject Category:20th-century_American_mathematicians.
- Leon_Henkin subject Category:21st-century_American_mathematicians.
- Leon_Henkin subject Category:American_Jews.
- Leon_Henkin subject Category:American_logicians.
- Leon_Henkin subject Category:American_people_of_Russian-Jewish_descent.
- Leon_Henkin subject Category:Columbia_University_alumni.
- Leon_Henkin subject Category:Manhattan_Project_people.