Denne læreboken gir en kortfattet og selvstendig introduksjon til matematisk logikk, med særlig vekt på de grunnleggende emnene innen førsteordens logikk og modellteori. Gjennom eksempler fra ulike matematiske områder som algebra, lineær algebra og analyse, viser boken relevansen og nytten av logikk i studiet av disse fagene. Forfatteren begynner med en grundig gjennomgang av mengdelære og valgaxiomet, som er essensielt i daglig matematikk. Med en behagelig progresjon presenteres deretter noen av de første viktige resultatene innen modellteori. Boken gir også en nøye fremstilling av Gentzen-stil naturlig deduksjon, samt en detaljert bevisføring av Gödels fullstendighetsteorem for førsteordens logikk. Videre utforsker den det formelle aksiomsystemet til Zermelo og Fraenkel, før den avsluttes med en omfattende liste over forslag til videre studier. Dette verket er primært rettet mot matematikere som allerede har kjennskap til grunnleggende analyse, algebra og lineær algebra.
