01924nam0 22004573i 450 VAN026146920231019042610.715N978354035197920230717d1979 |0itac50 baengDE|||| |||||ˆThe ‰Computational Complexity of Logical TheoriesJ. Ferrante, C. W. RackoffBerlinSpringer1979xii, 244 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer71803-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D15Complexity of computation [MSC 2020]VANC023630MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF03D10Turing machines and related notions [MSC 2020]VANC037606MFAdditionKW:KComplexityKW:KComputationKW:KComputational complexityKW:KFunctionsKW:KGamesKW:KLogicKW:KPredicate calculusKW:KShapesKW:KBerlinVANL000066FerranteJeanneVANV21582146752RackoffCharles W.VANV21582246753Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0062837E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0261469BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6243 08eMF6243 20230726 Computational complexity of logical theories81115UNICAMPANIA