01912nam2-2200529li-450 99000011298020331620240625123507.00011298USA010011298(ALEPH)000011298USA01001129820001109d1969----km-y0itay0103----baengGWEnumerability, decidability, computabilityan introduction to the theory of recursive functionsHans Hermestranslated by G. T. Hermann and O. Plassmann2nd revised edBerlin [etc.]Springer-Verlag1969X, 245 p.24 cm<<Die>> Grundlehren der Mathematischen Wissenschaften127Trad. di: aufzählbarkeit, entscheidbarkeit, berechenbarkeit.0010003168452001<<Die>> Grundlehren der Mathematischen WissenschaftenAnalisi matematicaBNCFLogica matematicaBNCFModelli matematiciBNCF515HERMES,Hans42101HERMANN,G. T.PLASSMANN,O.ITcbaREICAT990000112980203316510 GLM (127,A)0000935 CBS51000108735510 GLM (127,B)0000936 CBS51000108736510 GLM (127,C)0000939 CBS51000108737510 GLM (127,D)0000937 CBS51000108738510 GLM (127,E)0000938 CBS51000108739BKSCI1990032120001110USA011711ALANDI9020010614USA011122ALANDI9020010614USA011123ALANDI9020010614USA011127ALANDI9020010614USA01122020020403USA011619PATRY9020040406USA011609Enumerability, Decidability, Computability354898UNISA