✓

@Book{            book:2359209,
  Author        = "Cook, Stephen and Nguyen, Phuong",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "9780521517294,052151729X,978-0-511-67716-8",
  Publisher     = "Cambridge Univ. Press",
  Series        = "PERSPECTIVES IN LOGIC",
  Title         = "Perspectives in logic: logical foundations of proof complexity",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=3426c392f9539b853fe2a9021686635d",
  Year          = "2010",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=3426c392f9539b853fe2a9021686635d",
  File          = "Perspectives in logic logical foundations of proof complexity by Cook, Stephen Nguyen, Phuong (z-lib.org) - a - a - a.pdf"
}

@Book{ book:2359209, Author = "Cook, Stephen and Nguyen, Phuong", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "9780521517294,052151729X,978-0-511-67716-8", Publisher = "Cambridge Univ. Press", Series = "PERSPECTIVES IN LOGIC", Title = "Perspectives in logic: logical foundations of proof complexity", URL = "http://gen.lib.rus.ec/book/index.php?md5=3426c392f9539b853fe2a9021686635d", Year = "2010", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=3426c392f9539b853fe2a9021686635d", File = "Perspectives in logic logical foundations of proof complexity by Cook, Stephen Nguyen, Phuong (z-lib.org) - a - a - a.pdf" }