G.Goodaire, Edgar <br/><br/>
Discrete Mathematics :  with Graph Theory / 
Edgar G.Goodaire, Michael M. Parmenter  
 - 2nd Edition  
 - Prentice Hall   India   2003 
 - 545 p 
<br/><br/>Yes , there are proofs (Page-1), Sets and Relations (Page-37), Functions (Page-71), The Integers (Page-97), Induction and Recursion (Page-149), Principles of Counting (Page-187), Permuatation and Combinations (Page-211), Algorithms (Page-239), Graphs (Page-277), Paths and Cicuits (Page-303), Applications of Paths and circuits (Page-337), Trees (Page-367), Depth First search and applications (Page-399), Planar Graphs and Coloring (Page-413), The Max Flow (Page-441). 
<br/><br/><label>ISBN: </label>8120321219 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Graph Theory 
<br/><br/><label>Dewey Class. No.: </label>511,GOO