Describir: The mathematics of logic :