Describir: Introduction to logical theory