Topic: Mathematical Logic

This book is an introduction to the language and standard proof methods of mathematics. It is a bridge from the computational courses (such as calculus or differential equations) that students...

This book is designed for the transition course between calculus and differential equations and the upper division mathematics courses with an emphasis on proof and abstraction. The book has been...