LEADER 00786nam0-22002651i-450-
001 990001221270403321
035   $a000122127
035   $aFED01000122127
035   $a(Aleph)000122127FED01
035   $a000122127
100   $a20000920d1----km-y0itay50------ba
101  1$aeng
200 1 $a<<The >>Computational Complexity of Logical Theories$fby Ferrante J. Rackoff C.W.
210   $aBerlin [etc.]$cSpringer-Verlag$d1
225 1 $aLecture Notes in Mathematics$v178
700  1$aFerrante,$bJeanne$046752
702  1$aRackoff,$bCharles
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001221270403321
952   $aC-20-(718$b1111$fMA1
959   $aMA1
996   $aComputational complexity of logical theories$9262975
997   $aUNINA
DB    $aING01