Mathematical Introduction to Logic