✓

@Book{            book:1403918,
  Author        = "Troelstra, A. S. and van Dalen, D.",
  date-added    = "2020-09-23 08:47:44 +0200",
  date-modified = "2020-09-23 08:47:44 +0200",
  Edition       = "1",
  ISBN          = "0444703586",
  Publisher     = "Elsevier Science",
  Series        = "Studies in Logic and the Foundations of Mathematics 123",
  Title         = "Constructivism in mathematics: An introduction",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=375f678d7185be1e753e75e4b47fb2bb",
  Volume        = "2",
  Year          = "1988",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=375f678d7185be1e753e75e4b47fb2bb",
  File          = "Constructivism in mathematics An introduction by A. S. Troelstra and D. van Dalen (z-lib.org) - a.pdf"
}

@Book{ book:1403918, Author = "Troelstra, A. S. and van Dalen, D.", date-added = "2020-09-23 08:47:44 +0200", date-modified = "2020-09-23 08:47:44 +0200", Edition = "1", ISBN = "0444703586", Publisher = "Elsevier Science", Series = "Studies in Logic and the Foundations of Mathematics 123", Title = "Constructivism in mathematics: An introduction", URL = "http://gen.lib.rus.ec/book/index.php?md5=375f678d7185be1e753e75e4b47fb2bb", Volume = "2", Year = "1988", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=375f678d7185be1e753e75e4b47fb2bb", File = "Constructivism in mathematics An introduction by A. S. Troelstra and D. van Dalen (z-lib.org) - a.pdf" }