How to Prove It: A Structured Approach van Daniel J. Velleman is een Engelstalig studieboek dat studenten helpt bij de overgang van probleemoplossing naar het schrijven van bewijzen. Dit boek richt zich op advanced mathematics en theoretische informatica door de technieken en taal van logica en verzamelingenleer helder uit te leggen.
De derde editie bevat een nieuwe chapter on number theory en meer dan 150 extra oefeningen. Het boek begint met de basisprincipes van logica en set theory en leidt vervolgens stap voor stap door complexe bewijstechnieken aan de hand van voorbeelden en 'scratch work'. Hiermee wordt de essentiële rol van proofs play in wiskunde en computerwetenschappen benadrukt.
How to Prove It is een toegankelijk naslagwerk voor studenten en professionals die hun kennis in vormele bewijsmethoden willen verdiepen. Het sluit inhoudelijk goed aan bij onderwerpen als mathematical logic, set theory en logic binnen de wiskunde.