Re:Ask HN: How or where to begin learning mathematics from f...
by pneumatics on Friday December 05, 2014 @06:35PM
(#8707590)
| I don't know a good introductory book, unfortunately.
I liked Eric Schechter's Classical and Non-Classical Logics for an eye-opening view into how logical systems are constructed from axioms. Might be a satisfying read for OP, as well.
I liked Eric Schechter's Classical and Non-Classical Logics for an eye-opening view into how logical systems are constructed from axioms. Might be a satisfying read for OP, as well.
http://press.princeton.edu/titles/8119.html