Basi per un corso di logica (da rivedere - mancano le domande e i link)