Describir: Logic, Mathematics, and Computer Science