Logica. Un manuale per lezioni