Boken 'Book of Proof' fungerer som en innføring i språket og standard bevismetoder innen matematikk. Den fungerer som en bro fra de beregningsorienterte kursene, som kalkulus og differensialligninger, som studentene vanligvis møter i sitt første studieår, til et mer abstrakt perspektiv. Verket legger et solid fundament for videre studier innen mer teoretiske fag som topologi, analyse og abstrakt algebra. Selv om det kan være mer meningsfylt for studenter som allerede har erfaring med kalkulus, er det i utgangspunktet ingen spesifikke forkunnskaper som kreves, annet enn en viss matematisk modenhet. Boken dekker emner som mengder, logikk, telling, metoder for både betingede og ubetingede bevis, motbevis, induksjon, relasjoner, funksjoner, bevis innen kalkulus og uendelig kardinalitet.
