✓

@Book{            book:272991,
  Author        = "Franks, Curtis",
  date-added    = "2021-03-10 09:02:29 +0100",
  date-modified = "2021-03-10 09:02:29 +0100",
  Edition       = "1",
  ISBN          = "9780521514378",
  Publisher     = "Cambridge University Press",
  Title         = "The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=dbb0c1022ceb233267d062b6df08b623",
  Year          = "2009",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=dbb0c1022ceb233267d062b6df08b623",
  File          = "The Autonomy of Mathematical Knowledge Hilberts Program Revisited by Curtis Franks (z-lib.org) - q.pdf"
}

@Book{ book:272991, Author = "Franks, Curtis", date-added = "2021-03-10 09:02:29 +0100", date-modified = "2021-03-10 09:02:29 +0100", Edition = "1", ISBN = "9780521514378", Publisher = "Cambridge University Press", Title = "The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited", URL = "http://gen.lib.rus.ec/book/index.php?md5=dbb0c1022ceb233267d062b6df08b623", Year = "2009", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=dbb0c1022ceb233267d062b6df08b623", File = "The Autonomy of Mathematical Knowledge Hilberts Program Revisited by Curtis Franks (z-lib.org) - q.pdf" }