02234nam0 22004573i 450 VAN0025472220240806101441.453N978364246178120230215d1969 |0itac50 baengDE|||| |||||Enumerability, Decidability, ComputabilityAn Introduction to the Theory of Recursive FunctionsHans HermesTranslated by G. T. Herman and O. Plassman2. rev. edBerlinSpringer1969xii, 250 p.ill.24 cm001VAN000241072001 Grundlehren der mathematischen WissenschaftenA series of comprehensive texts in mathematics210 Berlin [etc.]Springer1921-127VAN00254425Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen300816103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D20Recursive functions and relations, subrecursive hierarchies [MSC 2020]VANC024470MF03DxxComputability and recursion theory [MSC 2020]VANC024386MFAlgebraKW:KCalculusKW:KEquationsKW:KFunctionsKW:KLogicKW:KMathematicaKW:KBerlinVANL000066HermesHansVANV20745842101HermanGabor T.VANV035877730PlassmanO.VANV207459730Springer <editore>VANV108073650Herman, G. T.Herman, Gabor T.VANV063495ITSOL20250829RICAhttps://doi.org/10.1007/978-3-642-46178-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00254722BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 5413 08eMF5413 20230301 Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen3008161UNICAMPANIA