“…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 Church. …”
Enlace del recurso
Enlace del recurso

“…It is dedicated to the memory of Leon Henkin.…”
Enlace del recurso
Enlace del recurso