✓

@Book{            book:1145137,
  Author        = "Szabo, M. E.",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "978-0-444-53419-4",
  Publisher     = "Elsevier Science",
  Series        = "Studies in Logic and the Foundations of Mathematics 55",
  Title         = "The Collected Papers of Gerhard Gentzen",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=c9bc5c2a5e4b3c03e1dbf1c5c9cdeb57",
  Year          = "1969",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=c9bc5c2a5e4b3c03e1dbf1c5c9cdeb57",
  File          = "[M.E.\_Szabo\_(Eds.)]\_The\_Collected\_Papers\_of\_Gerhar(z-lib.org) (0) - a - a.pdf"
}

@Book{ book:1145137, Author = "Szabo, M. E.", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "978-0-444-53419-4", Publisher = "Elsevier Science", Series = "Studies in Logic and the Foundations of Mathematics 55", Title = "The Collected Papers of Gerhard Gentzen", URL = "http://gen.lib.rus.ec/book/index.php?md5=c9bc5c2a5e4b3c03e1dbf1c5c9cdeb57", Year = "1969", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=c9bc5c2a5e4b3c03e1dbf1c5c9cdeb57", File = "[M.E._Szabo_(Eds.)]_The_Collected_Papers_of_Gerhar(z-lib.org) (0) - a - a.pdf" }