@Article{         Henkin,
  Author        = "Henkin, Leon",
  copyright     = "Copyright {\copyright} 1950 Association for Symbolic Logic",
  date-added    = "2013-02-14 16:20:52 +0000",
  date-modified = "2013-12-12 22:05:43 +0000",
  ISSN          = "00224812",
  Journal       = "The Journal of Symbolic Logic",
  jstor_articletype="research-article",
  jstor_formatteddate="Jun., 1950",
  Keywords      = "type theory and lambda calculus and classic",
  Language      = "English",
  Number        = "2",
  Pages         = "pp. 81-91",
  Publisher     = "Association for Symbolic Logic",
  Title         = "Completeness in the Theory of Types",
  URL           = "http://www.jstor.org/stable/2266967",
  Volume        = "15",
  Year          = "1950",
  bdsk-url-1    = "http://www.jstor.org/stable/2266967",
  File          = "Completeness in the Theory of Types - Henkin (0) (0) - a - a - t.pdf"
}

@Article{ Henkin, Author = "Henkin, Leon", copyright = "Copyright {\copyright} 1950 Association for Symbolic Logic", date-added = "2013-02-14 16:20:52 +0000", date-modified = "2013-12-12 22:05:43 +0000", ISSN = "00224812", Journal = "The Journal of Symbolic Logic", jstor_articletype="research-article", jstor_formatteddate="Jun., 1950", Keywords = "type theory and lambda calculus and classic", Language = "English", Number = "2", Pages = "pp. 81-91", Publisher = "Association for Symbolic Logic", Title = "Completeness in the Theory of Types", URL = "http://www.jstor.org/stable/2266967", Volume = "15", Year = "1950", bdsk-url-1 = "http://www.jstor.org/stable/2266967", File = "Completeness in the Theory of Types - Henkin (0) (0) - a - a - t.pdf" }