About: レオン・ヘンキン

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