Tekstiviesti: Logic for mathematicians