Overview
- First volume of contributed papers devoted to the life and work of Leon Henkin
- Reference work for researchers and students in philosophy, mathematics and computer science
- Provides useful background for understanding the present conceptual framework where to research and teaching is developing
- Includes supplementary material: sn.pub/extras
Part of the book series: Studies in Universal Logic (SUL)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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 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 predecessors and 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.
Similar content being viewed by others
Keywords
Table of contents (20 chapters)
-
Front Matter
-
Henkin’s Contribution to XX Century Logic
-
Front Matter
-
-
Extensions and Perspectives in Henkin’s Work
-
Front Matter
-
Editors and Affiliations
Bibliographic Information
Book Title: The Life and Work of Leon Henkin
Book Subtitle: Essays on His Contributions
Editors: María Manzano, Ildikó Sain, Enrique Alonso
Series Title: Studies in Universal Logic
DOI: https://doi.org/10.1007/978-3-319-09719-0
Publisher: Birkhäuser Cham
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer International Publishing Switzerland 2014
Softcover ISBN: 978-3-319-09718-3Published: 06 November 2014
eBook ISBN: 978-3-319-09719-0Published: 23 October 2014
Series ISSN: 2297-0282
Series E-ISSN: 2297-0290
Edition Number: 1
Number of Pages: XXII, 351
Number of Illustrations: 13 b/w illustrations, 1 illustrations in colour
Topics: Mathematical Logic and Foundations, History of Mathematical Sciences, Mathematical Logic and Formal Languages