Computability : an introduction to recursive function theory

Nigel Cutland
Bok · Engelsk · 1980

Utgitt	Cambridge : Cambridge University Press , 1980
Omfang	X, 251 s. : ill.
Emner	Aritmetikk Avgjørbarhet Beregnbarhet Beregnbarhetsteori : (NO-TrBIB)REAL000213 Vis mer... Church-Turing-tesen Gödels teorem Gödels ufullstendighetsteoremer Kompleksitet Rekursive funksjoner Rekursjon Tellbarhet
ISBN	0521223849. - 0521294657