About: Leon Henkin

Property	Value
dbo:description	United States of America karimba ŋun nyɛ doo (dag) ಗಣಿತಜ್ಞ (kn) matemático estadounidense (es) matemáticu estauxunidense (ast) Amerikaans wiskundige (nl) amerikai matematikus (hu) amerikansk matematiker (sv) matamaiticeoir Meiriceánach (ga) matematician american (ro) 미국 수학자 (ko) Ameerika Ühendriikide matemaatik (et) Usana matematikisto (io) amerikansk matematikar (nn) amerikansk matematiker (da) matematan Lamerikänik (vo) matematiciste american (lfn) matematico statunitense (it) matematikan amerikan (sq) matematikari estatubatuarra (eu) matemàtic estatunidenc (ca) matemático estadounidense (gl) matemático norte-americano (pt) mathématicien américain (fr) usona matematikisto (eo) американский математик (ru) американський математик (uk) ամերիկացի մաթեմատիկոս (hy) מתמטיקאי אמריקאי (iw) رياضياتي أمريكي (ar) ریاضی‌دان آمریکایی (fa) মার্কিন গণিতবিদ (bn) matematyk z USA (pl) US-amerikanischer Logiker (de) American mathematician (1921–2006) (en) Amerikalı matematikçi (1921 – 2006) (tr)
dbo:thumbnail	wiki-commons:Special:FilePath/Henkin_leon_berkeley_1990.jpg?width=300
dbo:wikiPageExternalLink	http://awards.berkeley.edu/berkeleyCitation.cfm http://guide.berkeley.edu/graduate/schools-departments-graduate-groups/logic-methodology-science/ https://books.google.com/books%3Fid=SOYSBQAAQBAJ https://www.math.ucla.edu/~asl/bsl/1503/1503-004.ps http://www.sfgate.com/cgi-bin/article.cgi%3Ff=/c/a/2006/11/20/BAGI9MGAJI1.DTL http://www.berkeley.edu/news/media/releases/2006/11/09_henkin.shtml https://web.archive.org/web/20100602012103/http:/www.universityofcalifornia.edu/senate/inmemoriam/leonalberthenkin.html https://web.archive.org/web/20150310073356/http:/www.princeton.edu/~mudd/finding_aids/mathoral/pmc19.htm https://web.archive.org/web/20150310082526/http:/www.princeton.edu/~mudd/finding_aids/mathoral/pmc14.htm http://doi.org/10.2307/2266967 https://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/LeonHenkin.pdf https://pqasb.pqarchiver.com/latimes/access/1163066351.html%3Fdids=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
dbo:wikiPageWikiLink	dbr:Higher-order_logic dbr:Completeness_(logic) dbr:Intuitionistic_logic dbc:American_logicians dbr:Albert_Einstein dbr:Model_theory dbr:Peano_arithmetic dbc:People_from_Brooklyn dbr:Algebra dbr:Algebraic_logic dbr:Alonzo_Church dbr:Bertrand_Russell dbr:Columbia_University dbr:Harvard_University dbr:The_New_York_Times dbr:University_of_California,_Berkeley dbr:University_of_Southern_California dbr:Alfred_North_Whitehead dbr:Alfred_Tarski dbr:Douglas_Hofstadter dbr:Formal_system dbr:Manhattan_Project dbr:Fulbright_Program dbr:Oakland,_California dbr:Princeton_University dbr:Axiom_of_reducibility dbr:Principia_Mathematica dbr:Type_theory dbr:Choice_function dbr:Journal_of_Symbolic_Logic dbr:Chauvenet_Prize dbr:Compactness_theorem dbr:Continuum_hypothesis dbr:Gödel's_completeness_theorem dbr:Gödel's_incompleteness_theorems dbr:Kurt_Gödel dbr:Nominalism dbr:Theory_of_relativity dbr:Axiom_of_choice dbr:Mathematical_induction dbr:Boolean_algebra_(structure) dbr:Ernest_Nagel dbr:Fuzzy_logic dbr:Willard_Van_Orman_Quine dbc:Mathematicians_from_New_York_(state) dbr:First-order_logic dbr:Gottlob_Frege dbr:Second-order_logic dbr:Sense_and_reference dbr:Propositional_logic dbc:20th-century_American_mathematicians dbc:American_people_of_Russian-Jewish_descent dbc:Princeton_University_alumni dbr:Branching_quantifier dbr:Many-sorted_logic dbr:María_Manzano dbr:Cylindric_algebra dbc:2006_deaths dbc:1921_births dbc:Manhattan_Project_people dbc:21st-century_American_mathematicians dbc:Columbia_College_(New_York)_alumni dbc:University_of_California,_Berkeley_College_of_Letters_and_Science_faculty dbr:Brooklyn,_New_York dbr:Lester_R._Ford_Award dbr:Harold_Kuhn dbr:American_Mathematical_Monthly dbr:The_Journal_of_Symbolic_Logic dbr:Deductive_Calculus dbr:File:Henkin_leon_berkeley_1990.jpg dbr:Fuzzy_Type_Theory dbr:Henkin_models dbr:Hybrid_Type_Theory dbr:Induction_Models dbr:Induction_axiom dbr:Peano_models
dbp:author	G. Weaver (en)
dbp:id	h/h110150 (en)
dbp:title	Henkin construction (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Chauvenet_Prize_recipients dbt:Authority_control dbt:Doi dbt:MathGenealogy dbt:Reflist dbt:Short_description dbt:Springer
dct:subject	dbc:American_logicians dbc:Mathematicians_from_New_York_(state) dbc:20th-century_American_mathematicians dbc:American_people_of_Russian-Jewish_descent dbc:Princeton_University_alumni dbc:2006_deaths dbc:1921_births dbc:Manhattan_Project_people dbc:21st-century_American_mathematicians dbc:Columbia_College_(New_York)_alumni dbc:University_of_California,_Berkeley_College_of_Letters_and_Science_faculty dbc:Academics_from_Brooklyn
gold:hypernym	dbr:Logician
schema:sameAs	http://viaf.org/viaf/76438407
rdf:type	owl:Thing owl:Thing dbo:Person dbo:Animal dbo:Eukaryote dbo:Species
rdfs:label	Leon Henkin (en) Leon Henkin (de) Leon Henkin (es) レオン・ヘンキン (ja) Leon Henkin (pt) Leon Henkin (pl) Хенкин, Леон (ru)
owl:sameAs	freebase:Leon Henkin http://viaf.org/viaf/76438407 yago-res:Leon Henkin http://d-nb.info/gnd/174096046 wikidata:Leon Henkin dbpedia-de:Leon Henkin dbpedia-es:Leon Henkin dbpedia-pl:Leon Henkin dbpedia-hu:Leon Henkin dbpedia-ja:Leon Henkin dbpedia-pt:Leon Henkin dbpedia-ru:Leon Henkin https://dblp.org/pid/91/3399 http://data.bibliotheken.nl/id/thes/p07072704X dbpedia-arz:Leon Henkin dbpedia-fa:Leon Henkin dbpedia-ht:Leon Henkin dbpedia-pms:Leon Henkin dbpedia-global:Leon Henkin
prov:wasDerivedFrom	wikipedia-en:Leon_Henkin?oldid=1310933117&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Henkin_leon_berkeley_1990.jpg
foaf:isPrimaryTopicOf	wikipedia-en:Leon_Henkin
is dbo:doctoralStudent of	dbr:Alonzo_Church
is dbo:wikiPageDisambiguates of	dbr:Henkin
is dbo:wikiPageRedirects of	dbr:L._Henkin
is dbo:wikiPageWikiLink of	dbr:April_19 dbr:Skolem's_paradox dbr:List_of_University_of_California,_Berkeley_faculty dbr:List_of_logicians dbr:List_of_philosophers_born_in_the_20th_century dbr:Carol_Karp dbr:Alonzo_Church dbr:Alfred_Tarski dbr:Strange_loop dbr:Quantifier_(logic) dbr:Gisbert_Hasenjaeger dbr:Raphael_M._Robinson dbr:Chauvenet_Prize dbr:Paul_R._Halmos_–_Lester_R._Ford_Award dbr:Gödel's_completeness_theorem dbr:Association_for_Symbolic_Logic dbr:Semantics_of_logic dbr:List_of_Guggenheim_Fellowships_awarded_in_1961 dbr:Walter_Carnielli dbr:Harold_W._Kuhn dbr:Howard_Jerome_Keisler dbr:Universal_algebra dbr:Second-order_logic dbr:List_of_Columbia_College_people dbr:Branching_quantifier dbr:List_of_people_by_Erdős_number dbr:Andrzej_Grzegorczyk dbr:Cylindric_algebra dbr:Transfer_principle dbr:Index_of_philosophy_articles_(I–Q) dbr:Witness_(mathematics) dbr:ST_type_theory dbr:Henkin dbr:Hajnal_Andréka dbr:Extensions_of_First_Order_Logic dbr:L._Henkin
is foaf:primaryTopic of	wikipedia-en:Leon_Henkin