Text this: Nove lezioni di logica simbolica.