Velleman, Daniel J. How to prove it a structured approach Daniel J. Velleman - Repr. - IX, 309 S. graph. Darst. , 1997 ISBN: 0521446635 0521441161 LCCN: 93014567 Nat. Bib. Agency Control No.: 174715524 US-OCoLC 93014567 US-DLC Subjects--Index Terms: Dewey Class. No.: 511.3