Title: Intro to Non-Classical Logic 2ed