02103nam0 22004453i 450 VAN026846920240321104307.720N978146125749320231205d1982 |0itac50 baengUS|||| |||||ˆA ‰Programming Approach to ComputabilityA. J. Kfoury, Robert N. Moll, Michael A. ArbibNew YorkSpringer-Verlag1982viii, 251 p.ill.24 cm001VAN00670912001 Monographs in computer science210 New YorkSpringer300 Fino al 1993: Texts and Monographs in Computer Science68-XXComputer science [MSC 2020]VANC019670MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D80Applications of computability and recursion theory [MSC 2020]VANC024450MF68N01General topics in the theory of software [MSC 2020]VANC035632MF03D60Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020]VANC037481MFAlgorithmsKW:KClassificationKW:KComputability theoryKW:KFormal languagesKW:KPredictabilityKW:KProgrammingKW:KUSNew YorkVANL000011KfouryAssaf J.VANV22047854061ArbibMichael A.VANV21648513645MollRobert N.VANV22047954062Springer <editore>VANV108073650ITSOL20240614RICAhttps://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-CE0120VAN08NVAN0268469BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 7547 08eMF7547 20231211 Programming Approach to Computability3643912UNICAMPANIA