Describir: Logic for Computer Scientists