The Life and Work of Leon Henkin Essays on His Contributions /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Manzano, María (Editor), Sain, Ildikó (Editor), Alonso, Enrique (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Birkhäuser, 2014.
• Series: Studies in Universal Logic,
• Subjects: Mathematics.; Mathematical logic.; History.; Mathematical Logic and Foundations.; History of Mathematical Sciences.; Mathematical Logic and Formal Languages.

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...