Teoria Combinatòria de Conjunts Enllaç al cercabib Teoria Combinatòria de Conjunts Ensenyament Lògica Pura i Aplicada Codi de l'assignatura 569068
Lògiques Multivalorades Enllaç al cercabib Lògiques Multivalorades Ensenyament Lògica Pura i Aplicada Codi de l'assignatura 569069
Lògica Modal Enllaç al cercabib Lògica Modal Ensenyament Lògica Pura i Aplicada Codi de l'assignatura 569070
Algoritmes per a VSLI Enllaç al cercabib Algoritmes per a VSLI Ensenyament Lògica Pura i Aplicada Codi de l'assignatura 569071
Resolució de Problemes Combinatoris Enllaç al cercabib Resolució de Problemes Combinatoris Ensenyament Lògica Pura i Aplicada Codi de l'assignatura 569072
Lògica Algebraica Abstracta Enllaç al cercabib Lògica Algebraica Abstracta Ensenyament Lògica Pura i Aplicada Codi de l'assignatura 569073
Models de la Teoria de Conjunts Enllaç al cercabib Models de la Teoria de Conjunts Ensenyament Lògica Pura i Aplicada Codi de l'assignatura 569074
Teoria Avançada de Models Enllaç al cercabib Teoria Avançada de Models Ensenyament Lògica Pura i Aplicada Codi de l'assignatura 569075
Teoria de la Demostració i Demostració Automàtica Enllaç al cercabib Teoria de la Demostració i Demostració Automàtica Ensenyament Lògica Pura i Aplicada Codi de l'assignatura 569076
Complexitat Computacional Enllaç al cercabib Complexitat Computacional Ensenyament Lògica Pura i Aplicada Codi de l'assignatura 569077