02052nam 2200469 450 00001665620050718115600.03-540-57073-X20030918d1997----km-y0itay0103----baengDE<<The>> classical decision problemEgon Börger, Erich Grädel, Yuri GurevichBerlin [etc.]Springerc1997XII, 482 p.25 cm.Perspectives in Mathematical Logic2001Perspectives in Mathematical LogicLogica matematica511.3(21. ed.)Logica matematica (Logica simbolica)03-02Mathematical logic and foundations. Research exposition03B10Mathematical logic and foundations. General logic. Classical first-order logic03B25Mathematical logic and foundations. General logic. Decidability of theories and sets of sentences03C13Mathematical logic and foundations. Model theory. Finite structures03D15Mathematical logic and foundations. Complexity of computation03D35Mathematical logic and foundations. Computably and recursion theory. Undecidability and degrees of sets of sentences68Q25Computer science. Theory of computing. Analysis of algorithms and problem complexityBörger,Egon757184Grädel,Erich0Gurevich,Yuri60992ITUniversità della Basilicata - B.I.A.RICAunimarc000016656Classical decision problem1527183UNIBASMONSCISCIENZEEXT0030120030918BAS01181820050601BAS011755batch0120050718BAS01105320050718BAS01111220050718BAS01114220050718BAS011156BAS01BAS01BOOKBASA5Dipartimento MatematicaGENCollezione generaleMAT4358M43582003091851Riservati