Alcuni programmi di logica