© 2014

The Life and Work of Leon Henkin

Essays on His Contributions

  • María Manzano
  • Ildikó Sain
  • Enrique Alonso

Part of the Studies in Universal Logic book series (SUL)

Table of contents

  1. Front Matter
    Pages I-XXII
  2. Biographical Studies

    1. Front Matter
      Pages 1-1
    2. María Manzano, Enrique Alonso
      Pages 3-22
    3. Diane Resek
      Pages 23-25
    4. Albert Visser
      Pages 33-34
    5. Solomon Feferman
      Pages 35-40
    6. Benjamin Wells
      Pages 41-55
  3. Henkin’s Contribution to XX Century Logic

    1. Front Matter
      Pages 57-57
    2. J. Donald Monk
      Pages 59-66
    3. Concha Martínez Vidal, José Pedro Úbeda Rives
      Pages 93-133
    4. Enrique Alonso
      Pages 135-148
    5. María Manzano
      Pages 149-175
  4. Extensions and Perspectives in Henkin’s Work

    1. Front Matter
      Pages 177-177
    2. Robert Goldblatt
      Pages 179-201
    3. William Gunther, Richard Statman
      Pages 203-216
    4. Vilém Novák
      Pages 225-247

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.


algebraic logic completeness theorems cylindric algebras mathematical education model theory philosophical and foundation studies type theory

Editors and affiliations

  • María Manzano
    • 1
  • Ildikó Sain
    • 2
  • Enrique Alonso
    • 3
  1. 1.Department of Philosophy, Logic and AestheticsUniversity of SalamancaSalamancaSpain
  2. 2.Alfréd Rényi Institute of MathematicsHungarian Academy of SciencesBudapestHungary
  3. 3.Department of Logic and Philosophy of ScienceAutonomous University of MadridMadridSpain

Bibliographic information

Industry Sectors
Finance, Business & Banking