01528nam 2200397 450 00001312420050718115500.03-540-09501-220030512d1979----km-y0itay0103----baengDE<<The>> computational complexity of logical theoriesJeanne Ferrante, Charles W. RackoffBerlin [etc.]Springer1979X, 243 p.25 cm.Lecture notes in mathematics7182001Lecture notes in mathematicsLogica matematica511.3(21. ed.)Logica matematica (Logica simbolica)03D05Mathematical logic and foundations. Automata and formal grammars in connection with logical questions03D15Mathematical logic and foundations. Complexity of computationFerrante,Jeanne46752Rackoff,Charles W.46753ITUniversità della Basilicata - B.I.A.RICAunimarc000013124Computational complexity of logical theories81115UNIBASMONSCISCIENZEEXT0020120030512BAS01104320050601BAS011755batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT31921S319212003051251Riservati