@Article{         10.2307/30226313,
  Author        = "Boolos, George",
  date-added    = "2020-03-14 16:04:01 +0100",
  date-modified = "2020-03-14 16:04:01 +0100",
  ISSN          = "00223611, 15730433",
  Journal       = "Journal of Philosophical Logic",
  Number        = "4",
  Pages         = "373--378",
  Publisher     = "Springer",
  Title         = "Don't Eliminate Cut",
  URL           = "http://www.jstor.org/stable/30226313",
  Volume        = "13",
  Year          = "1984",
  bdsk-url-1    = "http://www.jstor.org/stable/30226313",
  File          = "Don't Eliminate Cut - 10.2307@30226313 - a - a - a - k.pdf"
}

@Article{ 10.2307/30226313, Author = "Boolos, George", date-added = "2020-03-14 16:04:01 +0100", date-modified = "2020-03-14 16:04:01 +0100", ISSN = "00223611, 15730433", Journal = "Journal of Philosophical Logic", Number = "4", Pages = "373--378", Publisher = "Springer", Title = "Don't Eliminate Cut", URL = "http://www.jstor.org/stable/30226313", Volume = "13", Year = "1984", bdsk-url-1 = "http://www.jstor.org/stable/30226313", File = "Don't Eliminate Cut - 10.2307@30226313 - a - a - a - k.pdf" }