General recursion theory : an axiomatic approach

Jens E. Fenstad
Bok · Engelsk · 1980 Jens Erik Fenstad

Medvirkende	Gandy, R. O ( Contributor )
Utgitt	Berlin : Springer , 1980
Omfang	XI, 225 s. : fig.
Emner	Beregnbarhet : (NO-TrBIB)REAL000213 Beregnbarhetsteori : (NO-TrBIB)REAL000213 Mengdelære : (NO-TrBIB)REAL002861 Mengdeteori Vis mer... Rekursive funksjoner Rekursjonsteori rekursjonsteori mengdelære
ISBN	0387093494. - 3540093494