✓

@Book{            book:2149556,
  Author        = "Haeusler, Edward Hermann and de Campos Sanz, Wagner and Lopes, Bruno",
  date-added    = "2020-06-01 15:51:36 +0200",
  date-modified = "2020-06-01 15:51:36 +0200",
  ISBN          = "1848901720,9781848901728",
  Publisher     = "College Publications",
  Title         = "Why is this a Proof? Festschrift for Luiz Carlos Pereira",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=ad9ca6081575198e110355442cb06530",
  Year          = "2015",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=ad9ca6081575198e110355442cb06530",
  File          = "Why is this a Proof Festschrift for Luiz Carlos Pereira by Edward Hermann Haeusler, Wagner de Campos Sanz, Bruno Lopes (eds.) (z-lib.org) - a.pdf"
}

@Book{ book:2149556, Author = "Haeusler, Edward Hermann and de Campos Sanz, Wagner and Lopes, Bruno", date-added = "2020-06-01 15:51:36 +0200", date-modified = "2020-06-01 15:51:36 +0200", ISBN = "1848901720,9781848901728", Publisher = "College Publications", Title = "Why is this a Proof? Festschrift for Luiz Carlos Pereira", URL = "http://gen.lib.rus.ec/book/index.php?md5=ad9ca6081575198e110355442cb06530", Year = "2015", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=ad9ca6081575198e110355442cb06530", File = "Why is this a Proof Festschrift for Luiz Carlos Pereira by Edward Hermann Haeusler, Wagner de Campos Sanz, Bruno Lopes (eds.) (z-lib.org) - a.pdf" }