How to Read and Do Proofs

This book provides a systematic account of how to understand and structure mathematical proofs. Its approach is almost entirely syntactic, which is the opposite of how I naturally think – I tend to generate arguments based on examples, diagrams, and conceptual understanding. But that difference, for me, is precisely what makes this book so valuable. Solow gives a no-nonsense, practical, almost algorithmic approach to interpreting logical language and to tackling the associated reasoning. His book thereby provides the best answer I know of to the “How do I start?” problem so often encountered when students begin constructing proofs.