sebina, you, sebinayou, opac, catalogo, servizi, biblioteca, utente, BinP, Polo regionale del Veneto, Treviso, Belluno, Venezia

Logica a informatica

Asperti, Andrea

1997

Abstract

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.