Introduction to Mathematical Logic. Vol. 1 only