Text this: La logica simbolica.