Text this: Logic of mathematics : a modern course of classical logic /