01563nam0 22003613i 450 VAN026910920240411015046.311N978146123878220231221d1988 |0itac50 baengUS|||| |||||Reflexive StructuresAn Introduction to Computability TheoryLuis E. SanchisNew YorkSpringer-Verlag1988xii, 233 p.ill.24 cm03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D25Recursively (computably) enumerable sets and degrees [MSC 2020]VANC024512MF03D75Abstract and axiomatic computability and recursion theory [MSC 2020]VANC037748MFAlgorithmsKW:KComputability theoryKW:KComputerKW:KComputer ScienceKW:KUSNew YorkVANL000011SanchisLuis E.VANV22081949002Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-1-4612-3878-2E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0269109BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 7912 08eMF7912 20240202 Reflexive Structures337995UNICAMPANIA