لئون هنکین (1921 – 2006) برابر انگلیک (انگلیسی): Leon Henkin انبازیها: گسترشها The Completeness of the First-Order Functional Calculus بوندگی افماریک کارکردی رایهی یکم 1949 داتار لئون هنکین جستارهای پیونددار بَوَندَگی