Introduction to Non-Classical Logic