✓

@Book{            book:927992,
  Author        = "Barendregt, Henk and Dekkers, Wil and Statman, Richard",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "0521766141,9780521766142",
  Publisher     = "Cambridge University Press",
  Series        = "Perspectives in Logic",
  Title         = "Lambda Calculus with Types",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=03B41F6F69F32B6200D219B02D6A6A24",
  Year          = "2013",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=03B41F6F69F32B6200D219B02D6A6A24",
  File          = "Henk Barendregt, Wil Dekkers, Richard Statman Lambda Calculus with Types (0) - a - a.pdf"
}

@Book{ book:927992, Author = "Barendregt, Henk and Dekkers, Wil and Statman, Richard", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "0521766141,9780521766142", Publisher = "Cambridge University Press", Series = "Perspectives in Logic", Title = "Lambda Calculus with Types", URL = "http://gen.lib.rus.ec/book/index.php?md5=03B41F6F69F32B6200D219B02D6A6A24", Year = "2013", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=03B41F6F69F32B6200D219B02D6A6A24", File = "Henk Barendregt, Wil Dekkers, Richard Statman Lambda Calculus with Types (0) - a - a.pdf" }