Text this: Introduction to mathematical logic. Vol. 1