Den sjette utgaven av denne klassiske læreboken, "Introduction to Mathematical Logic", gir en grundig utforskning av hovedtemaene innen matematisk logikk. Boken dekker proposisjonell logikk, førsteordens logikk, førsteordens tallteori, aksiomatisk mengdelære og beregnbarhetsteori. Videre presenteres de betydelige resultatene til Gödel, Church, Kleene, Rosser og Turing. I denne utgaven er det inkludert nyere forskning på Gödel's andre ufullstendighetsteorem, i tillegg til at et vedlegg om konsistensbevis for førsteordens aritmetikk er gjenvunnet. Dette vedlegget ble sist publisert i første utgave og er nå tilgjengelig igjen for historiske formål. Boken gir også historiske perspektiver, samt mange nye oppgaver med ulik vanskelighetsgrad, som motiverer og veileder studentene mot en grundig og praktisk forståelse av materialet.
