Describir: A text-book of logic,