Invia SMS: Nove lezioni di logica simbolica.