Describir: Logic for mathematicians /