una prova di 3 ore che contiene sia la prova scritta, sia quella di laboratorio;
una prova orale facoltativa.
Qual è il materiale a disposizione per studiare?
Il libro di testo consigliato dal docente e usato per fare esercizi è: “Dave Barker-Plummer, Jon Barwise, John Etchemendy: Language, Proof and Logic, 2nd Edition. CSLI Publications, 2011”.