cover

@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" }

Library Size: 80G (3740 books), Last Updated: Mar 31, 2026, 18:05:21, Build Time: N/A badge