レオン・ヘンキン
レオン・ヘンキン(Leon Henkin、1921年4月19日 – 2006年11月1日)はアメリカ合衆国の数学者、論理学者。カリフォルニア大学バークレー校数学科教授。「ヘンキン版一階述語論理の意味論的完全性の証明」で知られる。