Textmeddelande: Nove lezioni di logica simbolica.