✓

@Book{            book:515564,
  Author        = "Fitting, Melvin",
  date-added    = "2020-09-23 08:44:09 +0200",
  date-modified = "2020-09-23 08:44:09 +0200",
  Edition       = "1st",
  ISBN          = "0720422566,9780720422566",
  Publisher     = "Elsevier, Academic Press",
  Series        = "Studies in Logic and the Foundations of Mathematics",
  Title         = "Intuitionistic Logic, Model Theory and Forcing",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=a3621292220bc71e7f6b355ddabf93fb",
  Year          = "1969",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=a3621292220bc71e7f6b355ddabf93fb",
  File          = "Intuitionistic Logic, Model Theory and Forcing by Melvin Fitting (z-lib.org) - a.pdf"
}

@Book{ book:515564, Author = "Fitting, Melvin", date-added = "2020-09-23 08:44:09 +0200", date-modified = "2020-09-23 08:44:09 +0200", Edition = "1st", ISBN = "0720422566,9780720422566", Publisher = "Elsevier, Academic Press", Series = "Studies in Logic and the Foundations of Mathematics", Title = "Intuitionistic Logic, Model Theory and Forcing", URL = "http://gen.lib.rus.ec/book/index.php?md5=a3621292220bc71e7f6b355ddabf93fb", Year = "1969", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=a3621292220bc71e7f6b355ddabf93fb", File = "Intuitionistic Logic, Model Theory and Forcing by Melvin Fitting (z-lib.org) - a.pdf" }