Describir: Modern logic - a survey