@InBook{          10.5555/213990.214003,
  Author        = "Davis, Martin",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "The Universal Turing Machine (2nd Ed.): A Half-Century Survey",
  date-added    = "2020-02-23 08:15:20 +0100",
  date-modified = "2020-02-23 08:15:20 +0100",
  ISBN          = "3211826378",
  numpages      = "11",
  Pages         = "289--299",
  Publisher     = "Springer-Verlag",
  Title         = "Influences of Mathematical Logic on Computer Science",
  Year          = "1995"
}

@InBook{ 10.5555/213990.214003, Author = "Davis, Martin", Address = "Berlin, Heidelberg", BookTitle = "The Universal Turing Machine (2nd Ed.): A Half-Century Survey", date-added = "2020-02-23 08:15:20 +0100", date-modified = "2020-02-23 08:15:20 +0100", ISBN = "3211826378", numpages = "11", Pages = "289--299", Publisher = "Springer-Verlag", Title = "Influences of Mathematical Logic on Computer Science", Year = "1995" }