On the Shape of Mathematical Arguments

This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. The other part consists of a series of expositional essays, each dealing with a proof or an algorithm and illustrating the use of techniques discussed in the more general chapters.