Kuinka todistaa se: Jäsennelty lähestymistapa Daniel J. Vellemanin teos on englanninkielinen oppikirja, joka auttaa opiskelijoita siirtymään ongelmanratkaisusta todistusten kirjoittamiseen. Kirja keskittyy edistyneeseen matematiikkaan ja teoreettiseen tietojenkäsittelyyn selittämällä logiikan ja joukko-opin tekniikoita ja kieltä selkeästi.
Kolmas painos sisältää uuden lukujenumeroitun osion lukuteoriasta ja yli 150 lisäharjoitusta. Kirja alkaa logiikan ja joukko-opin perusperiaatteista ja etenee sen jälkeen vaihe vaiheelta kohti monimutkaisia todistustekniikoita esimerkkien ja "scratch work" -työskentelyn avulla. Näin korostetaan todistusten olennaista roolia matematiikassa ja tietojenkäsitieteessä.
Kuinka todistaa se on helposti lähestyttävä käsikirja opiskelijoille ja ammattilaisille, jotka haluavat syventää osaamistaan formaaleissa todistusmenetelmissä. Sisällöltään se sopii hyvin yhteen sellaisten aiheiden kanssa kuin matemaattinen logiikka, joukko-oppi ja logiikka matematiikan piirissä.