birkhauser-science.de

Mathematics : Mathematical and Foundations

Manzano, M., Sain, I., Alonso, E. (Eds.) The Life and Work of Essays on His Contributions

First volume of contributed papers devoted to the life and work of Leon Henkin Reference work for researchers and students in philosophy, and Provides useful background for understanding the present conceptual framework where to research and teaching is developing This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an Birkhäuser 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” 2014, XXII, 351 p. 14 illus., 1st 1 illus. in color. under the direction of Alonzo Church. Upon the invitation of , Henkin joined the edition 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, Printed book model theory, , completeness theorems, philosophical and foundational studies are Softcover 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 Printed book on the recent development of . It offers a valuable reference work for Softcover researchers and students in the fields of philosophy, mathematics and computer science. ISBN 978-3-319-09718-3 £ 74,99 | CHF 100,50 | 84,99 € | Order online at springer.com/booksellers 93,49 € (A) | 90,94 € (D) Springer Nature Customer Service Center GmbH Available Customer Service Discount group Tiergartenstrasse 15-17 Science (SC) 69121 Heidelberg Germany Product category T: +49 (0)6221 345-4301 Contributed volume [email protected] Series Studies in Universal Logic Other renditions Softcover ISBN 978-3-319-09720-6

Prices and other details are subject to change without notice. All errors and omissions excepted. Americas: Tax will be added where applicable. Canadian residents please add PST, QST or GST. Please add $5.00 for shipping one book and $ 1.00 for each additional book. Outside the US and Canada add $ 10.00 for first book, $5.00 for each additional book. If an order cannot be fulfilled within 90 days, payment will be refunded upon request. Prices are payable in US currency or its equivalent.

ISBN 978-3-319-09718-3 / BIC: PBC / SPRINGER NATURE: SCM24005 Part of