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
|
