@Article{         Ehrenfeucht:FM:1961,
  Author        = "Ehrenfeucht, A.",
  date-added    = "2019-10-27 11:32:06 +0100",
  date-modified = "2021-08-11 13:32:22 +0200",
  ISSN          = "0016-2736",
  Journal       = "Fundamenta Mathematicae",
  Number        = "2",
  Pages         = "129--141",
  Title         = "An application of games to the completeness problem for formalized theories",
  Volume        = "49",
  Year          = "1961",
  File          = "An application of games to the completeness problem for formalized theories - fm4919 (0) - a - a - j.pdf"
}

@Article{ Ehrenfeucht:FM:1961, Author = "Ehrenfeucht, A.", date-added = "2019-10-27 11:32:06 +0100", date-modified = "2021-08-11 13:32:22 +0200", ISSN = "0016-2736", Journal = "Fundamenta Mathematicae", Number = "2", Pages = "129--141", Title = "An application of games to the completeness problem for formalized theories", Volume = "49", Year = "1961", File = "An application of games to the completeness problem for formalized theories - fm4919 (0) - a - a - j.pdf" }