01852nam0 22004213i 450 VAN0026112120240806101504.410N978354038480920230711d1979 |0itac50 baengDE|||| |||||Degrees of UnsolvabilityStructure and TheoryRichard L. EpsteinBerlinSpringer1979xiv, 246 p.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer75903-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D20Recursive functions and relations, subrecursive hierarchies [MSC 2020]VANC024470MF03D30Other degrees and reducibilities in computability and recursion theory [MSC 2020]VANC024445MF03D35Undecidability and degrees of sets of sentences [MSC 2020]VANC024436MFDecidabilityKW:KDegree of insolubilityKW:KFiniteKW:KHomogenizationKW:KLatticesKW:KOperatorKW:KTuring degreeKW:KBerlinVANL000066EpsteinRichard L.VANV01981446609Springer <editore>VANV108073650ITSOL20241115RICAhttps://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-CE0120VAN08NVAN00261121BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD 6191 08eMF6191 20230724 Degrees of unsolvability81037UNICAMPANIA