A Concise Introduction to Mathematical Logic, Third Edition