1. Addison, J., et al.: In memoriam: Leon Albert Henkin (2006).
http://senate.universityofcalifornia.edu/inmemoriam/leonalberthenkin.html
2. Addison, J., Henkin, L., Tarski, A.: The Theory of Models. North-Holland, Amsterdam (1965)
3. Feferman, A.B., Feferman, S.: Alfred Tarski: Life and Logic. Cambridge University Press, Cambridge (2004)
4. Henkin, L.: Completeness in the theory of types. J. Symb. Log. 15, 81–91 (1950)
5. Henkin, L.: Logical systems containing only a finite number of symbols. Séminaire Mathématiques Supérieures, Université de Montréal (1967)