The Life and Work of Leon Henkin - Manzano, Jean-Yves María; Alonso, Enrique; Manzano, María; Sain, Ildikó (Springer International Publishing, 2014)