Describir: Collected logical works