This book is an introduction to the language and standard proof methods of mathematics. It is a bridge from the …