Text this: Introduction to the basic concepts and problems of modern logic /