The Life and Work of Leon Henkin Essays on His Contributions / edited by María Manzano, Ildikó Sain, Enrique Alonso.
This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on “The completeness of formal systems” under the direction of Alonzo Chur...
Full description
Saved in: