Boken "Computability" gir en grundig innføring i teorien om beregnbarhet, et sentralt område innen datavitenskap og matematikk. I denne teksten utforskes konsepter som ikke-beregnbarhet og uavgjorthet, samt teorien om rekursive og rekursivt enumerable mengder. Forfatteren tar for seg Gödels ufullstendighetsteorem, grader av uløselighet, og rekursjonsteoremer. I tillegg diskoteres det om kompleksitetsteorien til databehandling, noe som gir leseren en dypere forståelse av de fundamentale begrensningene og mulighetene innen beregnbarhet. Dette verk er en uvurderlig ressurs for studenter og forskere som ønsker å navigere de komplekse temaene innen dette feltet.
