@Article{         Craig:JSL:1957,
  Author        = "Craig, William",
  date-added    = "2016-01-29 17:39:31 +0000",
  date-modified = "2016-01-29 17:39:47 +0000",
  ISSN          = "00224812",
  Journal       = "The Journal of Symbolic Logic",
  Number        = "3",
  Pages         = "269--285",
  Publisher     = "Association for Symbolic Logic",
  Title         = "Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory",
  URL           = "http://www.jstor.org/stable/2963594",
  Volume        = "22",
  Year          = "1957",
  bdsk-url-1    = "http://www.jstor.org/stable/2963594",
  File          = "Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory - 2963594 - a - a - a - f.pdf"
}

@Article{ Craig:JSL:1957, Author = "Craig, William", date-added = "2016-01-29 17:39:31 +0000", date-modified = "2016-01-29 17:39:47 +0000", ISSN = "00224812", Journal = "The Journal of Symbolic Logic", Number = "3", Pages = "269--285", Publisher = "Association for Symbolic Logic", Title = "Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory", URL = "http://www.jstor.org/stable/2963594", Volume = "22", Year = "1957", bdsk-url-1 = "http://www.jstor.org/stable/2963594", File = "Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory - 2963594 - a - a - a - f.pdf" }