Describir: Advances in logic :