02106nam0 22004453i 450 VAN0026846920240806101525.444N978146125749320231205d1982 |0itac50 baengUS|||| |||||ˆA ‰Programming Approach to ComputabilityA. J. Kfoury, Robert N. Moll, Michael A. ArbibNew YorkSpringer-Verlag1982viii, 251 p.ill.24 cm001VAN000670912001 Monographs in computer science210 New YorkSpringer300 Fino al 1993: Texts and Monographs in Computer Science03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D60Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020]VANC037481MF03D80Applications of computability and recursion theory [MSC 2020]VANC024450MF68-XXComputer science [MSC 2020]VANC019670MF68N01General topics in the theory of software [MSC 2020]VANC035632MFAlgorithmsKW:KClassificationKW:KComputability theoryKW:KFormal languagesKW:KPredictabilityKW:KProgrammingKW:KUSNew YorkVANL000011KfouryAssaf J.VANV22047854061ArbibMichael A.VANV21648513645MollRobert N.VANV22047954062Springer <editore>VANV108073650ITSOL20241115RICAhttps://doi.org/10.1007/978-1-4612-5749-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00268469BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 7547 08eMF7547 20231211 Programming Approach to Computability3643912UNICAMPANIA