Describir: Logic for mathematicians