An Introduction to Non-Classical Logic, Second Edition: From If to Is