The Foundations of Mathematics

Category: Mathematics
Author: Ian Stewart, David Tall
This Month Hacker News 1


by haZard_OS   2018-03-27
Others here have offered some great suggestions already, so I will offer one a little off the beaten path:

Foundations of Mathematics

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.