Title: A Contemporary Introduction to Logic with Application