Higher recursion theory
Gerald E. Sacks
Bok Engelsk 1990
Utgitt | Berlin : Springer , c 1990
|
---|---|
Omfang | xv, 344 s.
|
Emner | Beregnbarhetsteori : (NO-TrBIB)REAL000213
Funksjoner Rekursive funksjoner Rekursjon rekursive funksjoner rekursjon |
ISBN | 0387193057. - 3540193057
|