Corso di Logica Matematica per il Progetto Lauree Scientifiche