Types in logic programming

cover

@Book{            book:1170207,
  Author        = "F., Pfenning",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "9780262161312",
  Publisher     = "MIT",
  Title         = "Types in logic programming",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=ba3a24327138df785d0cd5ce209f9072",
  Year          = "1992",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=ba3a24327138df785d0cd5ce209f9072",
  File          = "[Pfenning\_F.\_(ed.)]\_Types\_in\_logic\_programming(z-lib.org) (0) - a - a.djvu",
  file-2        = "Types in Logic Programming - a - a.pdf"
}

@Book{ book:1170207, Author = "F., Pfenning", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "9780262161312", Publisher = "MIT", Title = "Types in logic programming", URL = "http://gen.lib.rus.ec/book/index.php?md5=ba3a24327138df785d0cd5ce209f9072", Year = "1992", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=ba3a24327138df785d0cd5ce209f9072", File = "[Pfenning_F._(ed.)]_Types_in_logic_programming(z-lib.org) (0) - a - a.djvu", file-2 = "Types in Logic Programming - a - a.pdf" }