
@ebook{ book:1298437,
Author = "Borger, E. and Gradel, E. and Gurevich, Y.",
date-added = "2020-04-10 11:05:14 +0200",
date-modified = "2020-04-10 11:05:14 +0200",
ISBN = "354057073X, 9783540570738",
Keywords = "logic and readme",
Publisher = "Springer",
Series = "Perspectives in Mathematical Logic",
Title = "The Classical Decision Problem",
URL = "http://gen.lib.rus.ec/book/index.php?md5=F678837CF75E515689B6409D96608A22",
Year = "1997",
bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=F678837CF75E515689B6409D96608A22",
File = "The Classical Decision Problem - E. Borger (0) (0) - a - a - a.pdf"
}
@ebook{ book:1298437,
Author = "Borger, E. and Gradel, E. and Gurevich, Y.",
date-added = "2020-04-10 11:05:14 +0200",
date-modified = "2020-04-10 11:05:14 +0200",
ISBN = "354057073X, 9783540570738",
Keywords = "logic and readme",
Publisher = "Springer",
Series = "Perspectives in Mathematical Logic",
Title = "The Classical Decision Problem",
URL = "http://gen.lib.rus.ec/book/index.php?md5=F678837CF75E515689B6409D96608A22",
Year = "1997",
bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=F678837CF75E515689B6409D96608A22",
File = "The Classical Decision Problem - E. Borger (0) (0) - a - a - a.pdf"
}