Curso LÓGICA COMPUTACIONAL: demonstração assistida e semi-automática de teoremas do Prof. João Marcos
O endereço do link é: https://sites.google.com/site/sequiturquodlibet/courses/laac
O endereço do link é: https://sites.google.com/site/sequiturquodlibet/courses/laac
