"An Introduction to Mathematical Proofs" gir en grundig innføring i essensielle emner innen logikk, bevismetoder, mengdelære, tallære, relasjoner, funksjoner, kardinalitet og det reelle tallsystemet. Boken anvender en systematisk, detaljert og høyt strukturert tilnærming til bevisteknikker og relaterte emner. Ingen forkunnskaper kreves utover algebra fra videregående skole. Nytt stoff presenteres i små, fordøyelige biter som gjør det enkelt for nybegynnere å følge med. Forfatteren benytter en vennlig skrivestil uten å gå på kompromiss med den matematiske stringensen. Konsepter utvikles gjennom motiverende eksempler, presise definisjoner, nøye formuleringer av teoremer, klare bevis og kontinuerlig gjennomgang av tidligere emner. Boken inkluderer studiestøtte som avsnittssammendrag og mer enn 1100 oppgaver, grundig dekning av individuelle ferdigheter i bevisskriving, annotasjoner og strukturelle oversikter som klargjør kompliserte steg i bevis, samt en omfattende behandling av multiple kvantifikatorer og deres rolle i bevis. Den gir også en enhetlig forklaring av rekursive definisjoner.
