with Graph Theory G.Goodaire, Edgar creator Prentice Hall India 2003 2nd Edition 545 p 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). Edgar G.Goodaire, Michael M. Parmenter Graph Theory 511,GOO 8120321219 20230704120734.0