@Article{         Churcha,
  Author        = "Church, Alonzo",
  date-added    = "2012-12-03 15:47:28 +0000",
  date-modified = "2017-07-03 20:41:44 +0000",
  Journal       = "Journal of Symbolic Logic",
  Keywords      = "classic",
  Number        = "4",
  Title         = "Logic, Arithmetic, and Automata",
  Volume        = "29",
  Year          = "1964",
  File          = "Logic, Arithmetic, and Automata - Church (0) (0) - a - a - p.pdf",
  file-2        = "2270398 (0) - a - a - p.pdf"
}

@Article{ Churcha, Author = "Church, Alonzo", date-added = "2012-12-03 15:47:28 +0000", date-modified = "2017-07-03 20:41:44 +0000", Journal = "Journal of Symbolic Logic", Keywords = "classic", Number = "4", Title = "Logic, Arithmetic, and Automata", Volume = "29", Year = "1964", File = "Logic, Arithmetic, and Automata - Church (0) (0) - a - a - p.pdf", file-2 = "2270398 (0) - a - a - p.pdf" }