Describir: Mathematical logic for computer science