發送短信: Nove lezioni di logica simbolica.