00921nam0 2200265 450 00000578720061120140212.088-15-10129-220050708d2004----km-y0itay50------baitaIT0-------001yyRapporto 2004 sull'economia del mezzogiornoSvimez, Associazione per lo sviluppo dell'industria nel mezzogiornoBolognaIl Mulino2004671 p.tab.22 cmCollana della Svimez2001Collana della SvimezItalia meridionaleEconomia2003330.945720Svimez <Associazione per lo sviluppo dell'industria nel mezzogiorno>630079ITUNIPARTHENOPE20050708RICAUNIMARC000005787SVI 330/200437722NAVA12005Rapporto 2004 sull'economia del mezzogiorno1206205UNIPARTHENOPE02052nam 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