@Article{         Church1963-CHUAOR,
  Author        = "Church, Alonzo",
  date-added    = "2017-07-09 13:45:18 +0000",
  date-modified = "2017-07-09 13:45:23 +0000",
  Journal       = "Journal of Symbolic Logic",
  Keywords      = "classic",
  Number        = "4",
  Pages         = "289--290",
  Publisher     = "Association for Symbolic Logic",
  Title         = "Application of Recursive Arithmetic to the Problem of Circuit Synthesis",
  Volume        = "28",
  Year          = "1963"
}

@Article{ Church1963-CHUAOR, Author = "Church, Alonzo", date-added = "2017-07-09 13:45:18 +0000", date-modified = "2017-07-09 13:45:23 +0000", Journal = "Journal of Symbolic Logic", Keywords = "classic", Number = "4", Pages = "289--290", Publisher = "Association for Symbolic Logic", Title = "Application of Recursive Arithmetic to the Problem of Circuit Synthesis", Volume = "28", Year = "1963" }