Handbook of the history of logic. Vol. 09

cover

@Book{            book:2129923,
  Author        = {Gabbay, Dov M. and Siekmann, J{\"o}rg H. and Woods, John Hayden},
  date-added    = "2020-11-12 23:03:33 +0100",
  date-modified = "2020-11-12 23:03:39 +0100",
  Edition       = "1",
  ISBN          = "0444516247,978-0-444-51624-4,399-443-495-5",
  Publisher     = "North Holland;Elsevier",
  Series        = "Handbook of the History of Logic 9",
  Title         = "Handbook of the history of logic. Vol. 09 - Computational logic",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=67ecee78be30713cd55e1206d90330fa",
  Year          = "2014",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=67ecee78be30713cd55e1206d90330fa",
  File          = "Handbook of the History of Logic 9 - Computational Logic - a.pdf"
}

@Book{ book:2129923, Author = {Gabbay, Dov M. and Siekmann, J{\"o}rg H. and Woods, John Hayden}, date-added = "2020-11-12 23:03:33 +0100", date-modified = "2020-11-12 23:03:39 +0100", Edition = "1", ISBN = "0444516247,978-0-444-51624-4,399-443-495-5", Publisher = "North Holland;Elsevier", Series = "Handbook of the History of Logic 9", Title = "Handbook of the history of logic. Vol. 09 - Computational logic", URL = "http://gen.lib.rus.ec/book/index.php?md5=67ecee78be30713cd55e1206d90330fa", Year = "2014", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=67ecee78be30713cd55e1206d90330fa", File = "Handbook of the History of Logic 9 - Computational Logic - a.pdf" }