Boken "Computability and Logic" har blitt en klassiker innen sitt felt, ikke bare på grunn av tilgjengeligheten for studenter uten matematisk bakgrunn, men også fordi den behandler grunnleggende emner som inngår i et mellomliggende logikkurs, inkludert Gödels ufullstendighetsteoremer. I tillegg tar boken for seg et bredt spekter av valgfri tematikk, fra Turing-teorien om beregnbarhet til Ramseys teorem. Den femte utgaven fra 2007 er grundig revidert av John Burgess og inkluderer en rekke øvelser, spesialtilpasset for denne utgaven, på slutten av hvert kapittel. Den gir en enklere fremstilling av representabiliteten av rekursive funksjoner, et tradisjonelt hinder for studenter på veien mot Gödels ufullstendighetsteoremer. Denne oppdaterte utgaven er også ledsaget av en nettside samt en lærehåndbok for instruktører.
