Title: A Mathematical Introduction to Logic