01848nam0 22004213i 450 VAN026112120231005120229.36N978354038480920230711d1979 |0itac50 baengDE|||| |||||Degrees of UnsolvabilityStructure and TheoryRichard L. EpsteinBerlinSpringer1979xiv, 246 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer75903-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D35Undecidability and degrees of sets of sentences [MSC 2020]VANC024436MF03D30Other degrees and reducibilities in computability and recursion theory [MSC 2020]VANC024445MF03D20Recursive functions and relations, subrecursive hierarchies [MSC 2020]VANC024470MFDecidabilityKW:KDegree of insolubilityKW:KFiniteKW:KHomogenizationKW:KLatticesKW:KOperatorKW:KTuring degreeKW:KBerlinVANL000066EpsteinRichard L.VANV01981446609Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0067135E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0261121BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 6191 08eMF6191 20230724 Degrees of unsolvability81037UNICAMPANIA