@Article{         henkin1949,
  Author        = "Henkin, Leon",
  date-added    = "2015-11-06 14:36:53 +0000",
  date-modified = "2015-11-06 14:36:53 +0000",
  fjournal      = "Journal of Symbolic Logic",
  Journal       = "J. Symbolic Logic",
  Month         = "09",
  Number        = "3",
  Pages         = "159--166",
  Publisher     = "Association for Symbolic Logic",
  Title         = "The Completeness of the First-Order Functional Calculus",
  URL           = "http://projecteuclid.org/euclid.jsl/1183730666",
  Volume        = "14",
  Year          = "1949",
  bdsk-url-1    = "http://projecteuclid.org/euclid.jsl/1183730666",
  File          = "The Completeness of the First-Order Functional Calculus - Henkin (0) (0) - a - a - n.pdf"
}

@Article{ henkin1949, Author = "Henkin, Leon", date-added = "2015-11-06 14:36:53 +0000", date-modified = "2015-11-06 14:36:53 +0000", fjournal = "Journal of Symbolic Logic", Journal = "J. Symbolic Logic", Month = "09", Number = "3", Pages = "159--166", Publisher = "Association for Symbolic Logic", Title = "The Completeness of the First-Order Functional Calculus", URL = "http://projecteuclid.org/euclid.jsl/1183730666", Volume = "14", Year = "1949", bdsk-url-1 = "http://projecteuclid.org/euclid.jsl/1183730666", File = "The Completeness of the First-Order Functional Calculus - Henkin (0) (0) - a - a - n.pdf" }