Den nye utgaven av denne klassiske læreboken, "Introduction to Mathematical Logic", sjette utgave, utforsker hovedtemaene innen matematisk logikk. Boken dekker proposisjonell logikk, førsteparts logikk, førsteparts tallteori, aksiomatisk mengdelære og teorien om beregnbarhet. Den tar også for seg de sentrale resultatene fra kjente matematikere som Gödel, Church, Kleene, Rosser, og Turing. Denne sjette utgaven inkluderer nylig arbeid om Gödels andre ufullstendighetsteorem, samt gjeninnføring av et appendiks om konsistensbevis for førsteparts aritmetikk; dette appendikset har ikke vært sett siden første utgave og tilbys nå for historiske formål. Boken gir også historiske perspektiver og et ulike nye oppgaver med varierende vanskelighetsgrad, som motiverer studentene og leder dem til en dypere, praktisk forståelse av materialet.
