LEADER 01056nam a22002775i 4500 001 991002146079707536 007 cr nn 008mamaa 008 121227s1979 gw | s |||| 0|eng d 020 $a9783540351979 035 $ab14128482-39ule_inst 040 $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematica$beng 082 04$a510$223 100 1 $aFerrante, Jeanne$046752 245 14$aThe computational complexity of logical theories$h[e-book] /$cby Jeanne Ferrante, Charles W. Rackoff 260 $aBerlin :$bSpringer,$c1979 300 $a1 online resource (243 p.) 440 0$aLecture Notes in Mathematics,$x0075-8434 ;$v718 650 0$aMathematics 700 1 $aRackoff, Charles W. 773 0 $aSpringer eBooks 856 40$uhttp://dx.doi.org/10.1007/BFb0062837$zAn electronic book accessible through the World Wide Web 907 $a.b14128482$b03-03-22$c05-09-13 912 $a991002146079707536 996 $aComputational complexity of logical theories$9262975 997 $aUNISALENTO 998 $ale013$b05-09-13$cm$d@ $e-$feng$ggw $h4$i0