Title: Contemporary Introduction to Logic, with Applications