A Mathematical Introduction to Logic by