LEADER 01924nam0 22004573i 450 001 VAN0261469 005 20231019042610.715 017 70$2N$a9783540351979 100 $a20230717d1979 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aˆThe ‰Computational Complexity of Logical Theories$fJ. Ferrante, C. W. Rackoff 210 $aBerlin$cSpringer$d1979 215 $axii, 244 p.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v718 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03D15$xComplexity of computation [MSC 2020]$3VANC023630$2MF 606 $a03B25$xDecidability of theories and sets of sentences [MSC 2020]$3VANC024400$2MF 606 $a03D10$xTuring machines and related notions [MSC 2020]$3VANC037606$2MF 610 $aAddition$9KW:K 610 $aComplexity$9KW:K 610 $aComputation$9KW:K 610 $aComputational complexity$9KW:K 610 $aFunctions$9KW:K 610 $aGames$9KW:K 610 $aLogic$9KW:K 610 $aPredicate calculus$9KW:K 610 $aShapes$9KW:K 620 $dBerlin$3VANL000066 700 1$aFerrante$bJeanne$3VANV215821$046752 701 1$aRackoff$bCharles W.$3VANV215822$046753 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0062837$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0261469 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 6243 $e08eMF6243 20230726 996 $aComputational complexity of logical theories$981115 997 $aUNICAMPANIA