Book of proof

This book is an introduction to the language and standard proof methods of mathematics. It is a bridge from the computational courses that students typically encounter in their first year of college to a more abstract outlook. It lays a foundation for more theoretical courses such as topology, analysis and abstract algebra.