Title: Introduçao a logica para a ciencia da computaçao
Subjects: Logica matematica nao-classica, Logica no ensino