@Article{         church:1962,
  Author        = "Church, Alonzo",
  date-added    = "2017-07-03 20:39:39 +0000",
  date-modified = "2017-09-19 06:46:34 +0000",
  Journal       = "Proceedings of the International Congress of Mathematicians",
  Keywords      = "classic and readme",
  Month         = "August",
  Pages         = "15--22",
  Title         = "Logic, Arithmetic, and Automata",
  Year          = "1962",
  File          = "icm1962.1.0023.0058.ocr (0) - a - a - p.pdf"
}

@Article{ church:1962, Author = "Church, Alonzo", date-added = "2017-07-03 20:39:39 +0000", date-modified = "2017-09-19 06:46:34 +0000", Journal = "Proceedings of the International Congress of Mathematicians", Keywords = "classic and readme", Month = "August", Pages = "15--22", Title = "Logic, Arithmetic, and Automata", Year = "1962", File = "icm1962.1.0023.0058.ocr (0) - a - a - p.pdf" }