Text this: Logica simbolica y elementos de metodologia d /