The life and work of leon henkin: Essays on his contributions - Manzano M; Alonso E; Sain I (Studies in Universal Logic, 2014)