E
[Ehr61] Andrzej Ehrenfeucht. An Application of Games to the Completeness Problem for Formalized Theories. Fundamenta Mathematicae 49:129-141. Institute of Mathematics, Polish Academy of Science, 1961. 
@article{fundm49-Ehr,
  author =              {Ehrenfeucht, Andrzej},
  title =               {An Application of Games to the Completeness Problem
                         for Formalized Theories},
  publisher =           {Institute of Mathematics, Polish Academy of Science},
  journal =             {Fundamenta Mathematicae},
  volume =              {49},
  pages =               {129-141},
  year =                {1961},
}
Liste des auteurs