| 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