Denne læreboken gir en fullstendig og moderne introduksjon til matematisk logikk. Forfatteren benytter seg av samtidsnotasjon, konvensjoner og perspektiver gjennom hele verket, og legger vekt på interaksjoner med andre deler av matematikken. Boken dekker grunnleggende konsepter innen matematisk logikk og omhandler fundamentale temaer som fullstendighet, kompakthet og ufullstendighet. I tillegg brukes betydelig plass på grundige introduksjoner til de sentrale grunnpilarene i det moderne fagfeltet: modellteori, mengdeteori og beregnbarhet. Med krav til bare en beskjeden bakgrunn innen grunnleggende matematikk, kan teksten lett tilpasses for en rekke ett- eller to-semesters kurs på høyere undergraduates eller nybegynnere grad-nivå. Utallige eksempler forsterker de sentrale ideene og illustrerer deres anvendelser, mens en mengde klassesjekkede øvelser bidrar til å konsolidere lesernes forståelse. Omfattende og engasjerende, tilbyr denne boken en ny tilnærming til dette vedvarende fascinerende og viktige emnet.
