TY - BOOK TI - HOW TO PROVE IT SN - 0-521-44663-5 CY - CAMBRIDGE KW - MATH ER -