An introduction to mathematical theorems - Scott Kennedy