02223nam0 22004573i 450 VAN025472220230523015732.226N978364246178120230215d1969 |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 cm001VAN00241072001 Grundlehren der mathematischen WissenschaftenA series of comprehensive texts in mathematics210 Berlin [etc.]Springer127VAN0254425Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen300816103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03DxxComputability and recursion theory [MSC 2020]VANC024386MF03D20Recursive functions and relations, subrecursive hierarchies [MSC 2020]VANC024470MFAlgebraKW:KCalculusKW:KEquationsKW:KFunctionsKW:KLogicKW:KMathematicaKW:KBerlinVANL000066HermesHansVANV20745842101HermanGabor T.VANV035877730PlassmanO.VANV207459730Springer <editore>VANV108073650Herman, G. T.Herman, Gabor T.VANV063495ITSOL20240614RICAhttps://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-CE0120VAN08NVAN0254722BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5413 08eMF5413 20230301 Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen3008161UNICAMPANIA