Tekstiviesti: La logica simbolica.