Stav dette: Nove lezioni di logica simbolica.