Artigo metodologia de lógica
Material didático digital hipertexto
Material de Apoio - Lógica para Computação