Logica e informatica

Il testo, che si rivolge agli studenti che frequentano il corso di Logica matematica dei corsi di laurea in informatica, intende affrontare l'insegnamento della logica tenendo sempre presenti gli strettissimi rapporti di questa disciplina con l'informatica.