The Life and Work of Leon Henkin