|
|
|
|
|
|
by pneumatics
4218 days 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 |
|
|