Announcement
The Life and Work of Leon Henkin
Essays on His Contributions
María Manzano, Ildiko Sain and Enrique Alonso, Eds.
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 rightfrom the beginning of his career with his doctoral thesis on “The completeness of formal systems” under the direction of Alonzo Church. Upon the invitation of Alfred Tarski, Henkin joined the Group in Logic and the Methodology of Science in the Department of Mathematics at the University of California Berkeley in 1953. He stayed with the group until his retirement in 1991.
This edited volume includes both foundational material and a logic perspective. Algebraic logic, model theory, type theory, completeness theorems, philosophical and foundational studies are among the topics covered, as well as mathematical education.
The work discusses Henkin’s intellectual development, his relation to his predecessorsand contemporaries, and his impact on the recent development of mathematical logic. It offers a valuable reference work for researchers and students in the fields of philosophy, mathematics and computer science.
The Life and Work of Leon Henkin
Essays on His Contributions
http://www.springer.com/birkhauser/mathematics/book/978-3-319-09718-3
Series: Studies in Universal Logic
Manzano, María, Sain, Ildikó, Alonso, Enrique (Eds.)
2014, XXII, 351 p. 14 illus., 1 illus. in color.
A product of Birkhäuser Basel
ISBN 978-3-319-09718-3
Editorial Board Members: Hajnal Andréka (Inst.of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary), Mark Burgin (Dpt of Mathematics, University of California at Los Angeles, USA), Razvan Diaconescu (Inst. of Mathematics, Romanian Academy, Bucharest, Romania), Josep Maria Font (Dpt of Mathematics, University of Barcelona, Spain), Andreas Herzig (Institut de Recherche en Informatique Théorique, CNRS, Toulouse,France), Arnold Koslow (Dpt of Philosophy, City University of New York, USA), Jui-Lin Lee (Dpt of Philosophy, National Chung-Cheng University, Taiwan), Larissa Maksimova (Russian Academy of Sciences, Novosibirsk, Russia), Grzegorz Malinowski (Department of Logic, University of Lodz, Poland), Darko Sarenac (Department of Philosophy, Stanford University, USA), Peter Schröder-Heister (Dpt of Computer Science, Tübingen, Germany), Vladimir Vasyukov (Dpt of Logic, Academy of Sciences, Moscow, Russia)
This series is devoted to the universal approach to logic and the development of a general theory of logics. It covers topics such as global set-ups for fundamental theorems of logic and frameworks for the study of logics, in particular logical matrices, Kripke structures, combination of logics, categorical logic, abstract proof theory, consequence operators, and algebraic logic. It includes also books with historical and philosophical discussions about the nature and scope of logic. Three types of books will appear in the series: graduate textbooks, research monographs, and volumes with contributed papers.
