✓

@Book{            book:1161554,
  Author        = "Odifreddi, Piergiorgio",
  date-added    = "2021-03-18 09:01:09 +0100",
  date-modified = "2023-10-14 17:19:10 +0200",
  ISBN          = "156881061X,9781568810614",
  Publisher     = "A K Peters/CRC Press",
  Title         = "Kreiseliana: About and Around Georg Kreisel",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=1d2ffd9c8c3e432d9cacdf61435fc20f",
  Year          = "1996",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=1d2ffd9c8c3e432d9cacdf61435fc20f",
  File          = "Odifreddi, Piergiorgio Odifreddi - Kreiseliana\_ About and Around Georg Kreisel-A K Peters\_CRC Press (1996) - a.djvu",
  file-2        = "Piergiorgio Odifreddi (editor) - Kreiseliana\_ About and Around Georg Kreisel-A K Peters\_CRC Press (1996) - a.pdf"
}

@Book{ book:1161554, Author = "Odifreddi, Piergiorgio", date-added = "2021-03-18 09:01:09 +0100", date-modified = "2023-10-14 17:19:10 +0200", ISBN = "156881061X,9781568810614", Publisher = "A K Peters/CRC Press", Title = "Kreiseliana: About and Around Georg Kreisel", URL = "http://gen.lib.rus.ec/book/index.php?md5=1d2ffd9c8c3e432d9cacdf61435fc20f", Year = "1996", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=1d2ffd9c8c3e432d9cacdf61435fc20f", File = "Odifreddi, Piergiorgio Odifreddi - Kreiseliana_ About and Around Georg Kreisel-A K Peters_CRC Press (1996) - a.djvu", file-2 = "Piergiorgio Odifreddi (editor) - Kreiseliana_ About and Around Georg Kreisel-A K Peters_CRC Press (1996) - a.pdf" }