Author: A Concise Introduction to Mathematical Logic