====== Logica matematica ======

===== FAQ =====

==== Come è strutturato l’esame? ====

L'esame e composto da:
  * 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"//.