Alonso, Enrique Henkin’s theorem in textbooks. (English) Zbl 1330.03003 Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 135-148 (2014). MSC: 03-03 01A60 01A05 PDFBibTeX XMLCite \textit{E. Alonso}, in: The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer. 135--148 (2014; Zbl 1330.03003) Full Text: DOI
Manzano, María; Alonso, Enrique Leon Henkin. (English) Zbl 1326.01061 Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 3-22 (2014). MSC: 01A70 03-03 PDFBibTeX XMLCite \textit{M. Manzano} and \textit{E. Alonso}, in: The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer. 3--22 (2014; Zbl 1326.01061) Full Text: DOI