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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Manzano, María (Επιμελητής έκδοσης), Sain, Ildikó (Επιμελητής έκδοσης), Alonso, Enrique (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Birkhäuser, 2014.
• Σειρά: Studies in Universal Logic,
• Θέματα: 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...