01056nam a22002775i 4500991002146079707536cr nn 008mamaa121227s1979 gw | s |||| 0|eng d9783540351979b14128482-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng51023Ferrante, Jeanne46752The computational complexity of logical theories[e-book] /by Jeanne Ferrante, Charles W. RackoffBerlin :Springer,19791 online resource (243 p.)Lecture Notes in Mathematics,0075-8434 ;718MathematicsRackoff, Charles W.Springer eBookshttp://dx.doi.org/10.1007/BFb0062837An electronic book accessible through the World Wide Web.b1412848203-03-2205-09-13991002146079707536Computational complexity of logical theories262975UNISALENTOle01305-09-13m@ -enggw 40