Describir: Theory and practice of logic-based therapy :