Enllaç al cercabib Teoria de la Demostració i Demostració Automàtica Ensenyament Lògica Pura i Aplicada Codi de l'assignatura 569076