Cargando…
The life and work of Leon Henkin: essays on his contributions
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...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2014
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-319-09719-0 http://cds.cern.ch/record/1968867 |