LEADER 00913nam0-22003131i-450-
001 990000991930403321
010   $a3-540-09501-2
035   $a000099193
035   $aFED01000099193
035   $a(Aleph)000099193FED01
035   $a000099193
100   $a--------d--------km-y0itay50------ba
101 0 $aeng
200 1 $a<<The >>Computational Complexity of Logical Theories$fJeanne Ferrante, Charles W. Rackoff
210   $aBerlin [etc.]$cSpringer-Verlag$d1979
215   $aV, 238 p.$d24 cm
225 1 $aLecture Notes in Mathematics$v718
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aFerrante,$bJeanne$046752
702  1$aRackoff,$bCharles W.
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000991930403321
952   $a7-236$b11931$fFI1
959   $aFI1
996   $aComputational complexity of logical theories$9262975
997   $aUNINA