3 ms·
| 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 sy
by pneumatics 12y ago
| 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.
http://press.princeton.edu/titles/8119.html http://press.princeton.edu/titles/8119.html