How to Prove It: A Structured Approach, 3rd Edition van Daniel J. Velleman is een Engelstalig studieboek over logica, verzamelingenleer en het schrijven van wiskundige bewijzen.
De derde editie begeleidt studenten van basislogica en set theory naar bewijstechnieken zoals directe bewijzen, contrapositie, contradictie en inductie. Voorbeelden, scratch work en oefeningen laten zien hoe formele redeneringen worden opgebouwd. Ook number theory komt aan bod. Geschikt voor studenten mathematics, theoretical computer science en mathematical logic. ISBN 9781108439534.