Logica per la Programmazione
Corso B (a.a. 2010/2011)
Docente: P. Mancarella