Hacker News new | past | comments | ask | show | jobs | submit login

Others here have offered some great suggestions already, so I will offer one a little off the beaten path:

Foundations of Mathematics https://www.amazon.com/Foundations-Mathematics-Ian-Stewart/d...

This book is meant to help one transition from performing math in an algorithmic manner to generating proofs based on logic and also set theory.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact