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