SMS dit: Logic for mathematicians /