Enviar por SMS: Nove lezioni di logica simbolica.