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