LEADER 01251nam a2200337 i 4500 001 991000773789707536 005 20020507173418.0 008 960430s1979 de ||| | eng 020 $a3540095012 035 $ab10755329-39ule_inst 035 $aLE01302105$9ExL 040 $aDip.to Matematica$beng 082 0 $a510.3 084 $aAMS 03D05 100 1 $aFerrante, Jeanne$046752 245 14$aThe computational complexity of logical theories /$cJeanne Ferrante, Charles W. Rackoff 260 $aBerlin :$bSpringer-Verlag,$c1979 300 $ax, 243 p. :$bill. ;$c24 cm. 490 0 $aLecture notes in mathematics,$x0075-8434 ;$v718 500 $aBibliography: p. [234]-238. 500 $aIncludes index 650 4$aAutomata and formal grammars in connection with logical questions 650 4$aComputational complexity 650 4$aPredicate calculus 700 1 $aRackoff, Charles W. 907 $a.b10755329$b23-02-17$c28-06-02 912 $a991000773789707536 945 $aLE013 03D FER11 (1979)$g1$i2013000047034$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10849543$z28-06-02 996 $aComputational complexity of logical theories$9262975 997 $aUNISALENTO 998 $ale013$b01-01-96$cm$da $e-$feng$gde $h4$i1