✓

@Book{            book:758880,
  Author        = "Baaz, Matthias and Papadimitriou, Christos H. and Putnam, Hilary W. and Scott, Dana S. and Harper, Charles L.",
  date-added    = "2020-06-06 15:07:43 +0200",
  date-modified = "2020-06-06 15:08:07 +0200",
  ISBN          = "0521761441,9780521761444",
  Publisher     = "Cambridge University Press",
  Title         = {Kurt G{\"o}del and the Foundations of Mathematics: Horizons of Truth},
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=92675b0d60765d13980104434654edc0",
  Year          = "2011",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=92675b0d60765d13980104434654edc0",
  File          = "Kurt Gödel and the Foundations of Mathematics Horizons of Truth by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper (z-lib.org) - a.pdf"
}

@Book{ book:758880, Author = "Baaz, Matthias and Papadimitriou, Christos H. and Putnam, Hilary W. and Scott, Dana S. and Harper, Charles L.", date-added = "2020-06-06 15:07:43 +0200", date-modified = "2020-06-06 15:08:07 +0200", ISBN = "0521761441,9780521761444", Publisher = "Cambridge University Press", Title = {Kurt G{\"o}del and the Foundations of Mathematics: Horizons of Truth}, URL = "http://gen.lib.rus.ec/book/index.php?md5=92675b0d60765d13980104434654edc0", Year = "2011", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=92675b0d60765d13980104434654edc0", File = "Kurt Gödel and the Foundations of Mathematics Horizons of Truth by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper (z-lib.org) - a.pdf" }