war ab 1958 Professor in Berkeley (Calif.). Von Henkin stammt der heute übliche Beweis für die Vollständigkeit der Prädikatenlogik 1. Stufe. Die von Henkin entwickelten Methoden spielen in der Beweis- und Modelltheorie eine wichtige Rolle. Weitere Arbeiten Henkins befassen sich mit der Algebraisierung der Logik.