Garnier, Rowan. <br/><br/>
100% mathematical proof /  
 One hundred percent mathematical proof 
Rowan Garnier, John Taylor. 
 - Chichester ;  New York :  Wiley,  c1996. 
 - viii, 317 p. :  ill. ;  25 cm. 
<br/><br/>Proofs, Mathematical and Non-Mathematical (Page-1), Propositional Logic (Page-15), Predicate Logic (Page-630), Axiom Systems and Formal Proof (Page-89), Direct Proof (Page-121), Direct Proof Variations (Page-167), Existence and Uniqueness Proofs (Page-185), further Proof Techniques (Page-209), Mathematical Induction (Page-239). 
<br/><br/><label>ISBN: </label>0471961981 (acid-free paper) 047196199X (pbk. : acid-free paper) 
<br/><br/><label>LCCN: </label>96194203 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Proof theory.
<br/><br/><label>Dewey Class. No.: </label>510,GAR