FB1030 - Logica moderna

(ECTS 3 - sem. V)