H
[Hen61] Leon Henkin. Some Remarks on Infinitely Long Formulas. In Infinitistic Methods – Proceedings of the Symposium on Foundations of Mathematics, pages 167-183. Pergamon Press, 1961. 
@inproceedings{sofm1959-Hen,
  author =              {Henkin, Leon},
  title =               {Some Remarks on Infinitely Long Formulas},
  booktitle =           {{I}nfinitistic {M}ethods~-- {P}roceedings of the
                         {S}ymposium on {F}oundations of {M}athematics},
  publisher =           {Pergamon Press},
  pages =               {167-183},
  year =                {1961},
  confyear =            {1959},
  confmonth =           {9},
}
List of authors