BibTeX record books/sp/BorgerGG1997

download as .bib file

@book{DBLP:books/sp/BorgerGG1997,
  author       = {Egon B{\"{o}}rger and
                  Erich Gr{\"{a}}del and
                  Yuri Gurevich},
  title        = {The Classical Decision Problem},
  series       = {Perspectives in Mathematical Logic},
  publisher    = {Springer},
  year         = {1997},
  timestamp    = {Mon, 06 Nov 2006 15:21:04 +0100},
  biburl       = {https://dblp.org/rec/books/sp/BorgerGG1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics