A Mathematical Introduction To Logic