Describir: First Order Mathematical Logic