Describir: Mathematical Logic for Computer Science