Describir: Mathematical logic