Title: The Elements of Mathmatical Logic