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 A...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Manzano, María (Editor ), Sain, Ildikó (Editor ), Alonso, Enrique (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cham :
Springer International Publishing : Imprint: Birkhäuser,
2014.
|
Edición: | 1st ed. 2014. |
Colección: | Studies in Universal Logic,
|
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Institution-independent Model Theory
por: Diaconescu, Razvan
Publicado: (2008) -
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
por: Carnielli, Walter, et al.
Publicado: (2008) -
Dependence Logic Theory and Applications /
Publicado: (2016) -
Dual Tableaux: Foundations, Methodology, Case Studies
por: Orlowska, Ewa, et al.
Publicado: (2011) -
Logica Volume 1 - Dimostrazioni e modelli al primo ordine /
por: Abrusci, Vito Michele, et al.
Publicado: (2014)